# 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 training@adacore.com

## 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
