> On May 31, 2017, at 7:48 AM, Jeff Squyres (jsquyres) <[email protected]> > wrote: > > On May 30, 2017, at 11:37 PM, Barrett, Brian via devel > <[email protected]> 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 > [email protected] > > _______________________________________________ > devel mailing list > [email protected] > https://rfd.newmexicoconsortium.org/mailman/listinfo/devel _______________________________________________ devel mailing list [email protected] https://rfd.newmexicoconsortium.org/mailman/listinfo/devel
