To contribute to this project:
- You should only fork the
dev/dev
branch or otherdev/*
branches. - All pull requests should be made into the
dev/dev
branch or their respective branch. - Before merging, your PR should be up-to-date with the
dev/dev
branch and have no merge conflicts. - All automatic checks should conclude that your PR is positive.
- It is not required, but desirable that you name your branch as
deb/your-branch
.