To contribute: Create your own branch from dev branch Make changes there Make a Pull Request (PR) to the dev branch Inform either Emmanuel or Martin to review, and then you can merge your PR into the dev branch.