+1 Agreed, nicer to use GitHub in general.
On Wed, Dec 12, 2018, 9:31 PM Olle Jonsson <olle.jons...@gmail.com wrote: > +1 from me. > > Good for my workflow. > > > On 13 Dec 2018, at 00:26, Antoine Toulme <anto...@toulme.name> wrote: > > > > +1 > > > >> On Dec 12, 2018, at 15:12, Peter Donald <pe...@realityforge.org> wrote: > >> > >> +1 from me > >> > >> On Thu, Dec 13, 2018 at 10:12 AM Peter Donald <pe...@realityforge.org> > >> wrote: > >> > >>> Hi, > >>> > >>> It looks like Apache is moving all the git repositories to GitBox over > the > >>> next few months. This will mean we will be able to directly use the > GitHub > >>> interface (See https://reference.apache.org/committer/github for > >>> requirements) if you so desire. Apparently it takes between a minute > and an > >>> hour to actually make the switch. > >>> > >>> This vote is to try and put us in the first batch of repositories that > >>> move (December 9th 2018 -> January 9th 2019) rather than wait for > forced > >>> mass migration (February 7th). > >>> > >>> All in favour? > >>> > >>> -- > >>> Cheers, > >>> > >>> Peter Donald > >>> > >> > >> > >> -- > >> Cheers, > >> > >> Peter Donald > > >