https://github.com/blog/2137-protected-branches-improvements
Specifically: ----- User and team restrictions Sometimes merges to a protected branch are best left to a release manager or a team of people responsible for the stability of that particular branch. Organizations can now specify which members and teams are able to push to a protected branch. Note that organization and repository administrators are always able to push. ----- This finally gives us a way to merge ompi and ompi-release! I think we'll want to do some testing, and talk through/figure out the mechanics and logistics of actually merging these together, but it's probably only a matter of time before we can finally end the duality of ompi/ompi-release. Woo hoooooo!! -- Jeff Squyres jsquy...@cisco.com For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/
