When possible, contributions to this repository should follow the git workflow described here: https://nvie.com/posts/a-successful-git-branching-model/
The master and develop branches are protected, pull requests must be submitted for commits to either of those two branches.