Skip to content

CONTRIBUTING.md

Latest commit

 

History

History
25 lines (15 loc) · 945 Bytes

CONTRIBUTING.md

File metadata and controls

25 lines (15 loc) · 945 Bytes

Contributor guidelines

Contributing

In order to contribute to the project, the following steps should be followed:

  1. Fork the main repository
  2. Create your feature branch
  3. Commit your local changes in the feature branch
  4. Push to your fork
  5. Create a pull request

Pull request are going to be reviewed by maintainers, some change may be requested before the Pull Request is accepted.

Development setup

For development purposes, we recommend to build and run inside a docker container. Refer to BUILDING.md for more information.

Conventions

This project follows the GNU Coding Standard for formatting, commenting, and conventions in general. Our build system checks for formatting in the build process.

Continuous Integration

This project uses Github Actions as Continuous Integration tool. Refer to CI.md for more information.