Developer Guidelines Page Refers to Actions that are Inappropriate for Contributors
The documentation in the Developer Guideline's page seems to refer to merging branches into the develop (described as dev) branch, when in actual fact, contributors should be forking the repository and submitting a pull request from a feature branch of their repo.
It could be worth putting in a worked example of this, although it is covered very well in the linked "Contributing to an Open Source Repository"