GitHub repository: AdaCore/contributing-howto
Description: Guidelines for contributing to AdaCore's repositories