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