I have decided to delete the develop branch. Originally, I wanted to follow the advice given in "A successful Git branching model". But most people submit pull requests to the master branch, so the develop branch didn't help me a lot. Then again, I probably used it incorrectly. Apparently, the "right way" to work with pull requests is to not accept them on the master branch, but rather check them out into a new feature branch and merge or cherry-pick changes into a develop or the master branch.
I have decided to delete the
developbranch. Originally, I wanted to follow the advice given in "A successful Git branching model". But most people submit pull requests to themasterbranch, so thedevelopbranch didn't help me a lot. Then again, I probably used it incorrectly. Apparently, the "right way" to work with pull requests is to not accept them on the master branch, but rather check them out into a new feature branch and merge or cherry-pick changes into adevelopor themasterbranch.