First of all, thanks for taking the time to contribute!
Bugs are tracked as Gitlab issues. Following these guidelines helps maintainers and the community understand your report, reproduce the behavior, and find related reports.
Explain the problem and include additional details to help maintainers reproduce the problem:
Merge-request (or pull-request) are made at Gitlab merge-request.
Before implementing a new feature, please open an issue to discuss the impacts and the design.
The continuous-integration will check :
make lint
to checkmake test
to run themObviously, a merge-request will be accepted only if pipeline is green.
If you have any question, please create an issue, we will answer as soon as possible.