How to contribute

You can contribute on the repository by pushing new PRs. You will need to accept AdaCore's Contributor License Agreement (CLA).

Bugs reporting

In case you see an issue, you can use the GitHub ticketing system to open an issue, or send a mail to [email protected]

Pull-Requests, Branches

There is no patterns for the PR name, a category of branches names is reserved for AdaCore's internal use:

Training feedbacks training/YYYY_MM_RN with YYYY = year, MM = month, R = region, N = number