7 Sep
2017
7 Sep
'17
7:07 p.m.
Could someone point me to documentation on management of the master and develop branches for committers? 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? Some of the issues are already marked resolved with a milestone of 1.66.0 but they are not in master, only develop. Should pull requests on github go directly into master? I find it confusing to have both and would prefer if there was only one possible destination for pull requests on github. If there are two, someone has to keep one of them updated and that isn't very efficient. Thanks, Jim