Ticket filed. https://issues.apache.org/jira/browse/INFRA-17417
I believe its basically automated - the git-wip remote will become a gitbox remote. I'll ask about the PRs. Jon On Thu, Dec 13, 2018 at 10:06 AM Jean-Louis Monteiro < jlmonte...@tomitribe.com> wrote: > Do you know how smooth it will be? > I mean, what about current PRs? > > -- > Jean-Louis Monteiro > http://twitter.com/jlouismonteiro > http://www.tomitribe.com > > > On Thu, Dec 13, 2018 at 10:58 AM Jonathan Gallimore < > jonathan.gallim...@gmail.com> wrote: > > > Looks like we have good support for this, so I'll get this started. > > > > Jon > > > > On Tue, Dec 11, 2018 at 11:44 AM Jonathan Gallimore < > > jonathan.gallim...@gmail.com> wrote: > > > > > Hi Folks > > > > > > It appears that the git-wip service is going to be retired, and the > > > repositories are going to be migrated over to Gitbox - > > > https://gitbox.apache.org/. > > > > > > We can voluntarily move to GitBox anytime between now and January 9th > > > 2019. After January 9th, Infra will require us to move to move within > one > > > month by February 7th 2019. > > > > > > I propose that we be proactive and look to move now, and we should get > > the > > > benefits of better GitHub integration, which given that we are seeing > > > bigger numbers of PRs coming through GitHub, this seems to make sense > to > > me. > > > > > > I'm happy to work with infra, and provide guidance to everyone on this > > > list. We don't necessarily need a vote, but we do need consensus on > this > > > list in order to move ahead. > > > > > > Are there any objections or other feedback? > > > > > > Many thanks > > > > > > Jon > > > > > > > > > > > > > > > > > >
