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
> >
>

Reply via email to