Thanks folks-- I'll file the ticket w/infra next Monday. Have a great holiday everyone!
Josh On Thu, Dec 13, 2018 at 3:51 PM Micah Whitacre <mkw...@gmail.com> wrote: > +1 to moving. > > Happy Holidays to all as well. > > On Wed, Dec 12, 2018 at 1:23 AM Gabriel Reid <gabriel.r...@gmail.com> > wrote: > > > Sounds good to me if you're cool with following this up with Infra, > > and happy holidays right back at you (and all the rest on this list)! > > > > - Gabriel > > On Mon, Dec 10, 2018 at 7:41 PM Josh Wills <josh.wi...@gmail.com> wrote: > > > > > > Hello Crunch developers, > > > > > > Apache is offering a voluntary (but soon to be mandatory) migration of > > the > > > git repos from git-wip-us (where Crunch is hosted now) to > > > http://gitbox.apache.org, with the option to use Github instead via: > > > https://reference.apache.org/committer/github > > > > > > I'm happy to run with this work w/the infra team, assuming there is > > > consensus that developing with Gitbox and/or Github is better in > > virtually > > > every way than developing with git-wip-us. (Please note that no one > will > > be > > > forced to use Github for pushes if they don't want to, but I don't > think > > > there is any option to keep using git-wip-us beyond the end of January > > > 2019.) > > > > > > Please feel free to respond to the thread with any questions; I'll > leave > > > this open for a few days before declaring it official in the absence of > > any > > > objections. > > > > > > Thanks! And happy holidays to you and yours! > > > Josh > > >