James E. King, III wrote:
Could someone point me to documentation on management of the master and develop branches for committers?
We follow a variation of the "gitflow" development model. Development occurs on the "develop" branch, and when a stable state is reached, the changes are merged to "master". Releases happen from "master". Ideally, you would start from a state in which master and develop are identical, then commit to develop, then occasionally issue "git merge develop" from master.
boostorg/uuid master ends at Jan 11. boostorg/develop has a bunch of stuff in it starting on August 3, 2017. Who is responsible for merging develop into master and when should that happen?
The maintainer is responsible.
Should pull requests on github go directly into master?
No, pull requests always go into develop, by convention.