Developer guide: creating collaborative branches

Sometimes, it is useful to have a branch in the buttonmen-dev repository itself, so that multiple people can work on the same issue together without disturbing the 'master' branch.

To set up such a branch:

1. Go to https://github.com/buttonmen-dev/buttonmen and log in if you're not yet logged in.

2. Click on the dropdown 'branch: master' and type the name of the new branch and press enter to create the new branch.

3. If you need to update the code in this branch from another branch, create a pull request pulling code onto this branch, and accept it.