> On May 31, 2017, at 7:48 AM, Jeff Squyres (jsquyres) <jsquy...@cisco.com> > wrote: > > 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?
FWIW: Brian very kindly already re-pointed all the existing PRs to the new branch. > > -- > Jeff Squyres > jsquy...@cisco.com > > _______________________________________________ > devel mailing list > devel@lists.open-mpi.org > https://rfd.newmexicoconsortium.org/mailman/listinfo/devel _______________________________________________ devel mailing list devel@lists.open-mpi.org https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
