On May 30, 2017, at 11:37 PM, Barrett, Brian via devel <devel@lists.open-mpi.org> wrote: > > We have now created a v3.0.x branch based on today’s v3.x branch. I’ve reset > all outstanding v3.x PRs to the v3.0.x branch. No one has permissions to > pull into the v3.x branch, although I’ve left it in place for a couple of > weeks so that people can slowly update their local git repositories.
A thought on this point... I'm kinda in favor of ripping off the band aid and deleting the old/stale/now-unwritable v3.x branch in order to force everyone to update to the new branch name ASAP. Thoughts? -- Jeff Squyres jsquy...@cisco.com _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
