I'm +1; as Davide said, after Christmas :) Working out details seems like a good topic for an upcoming Oakathon, assuming the general feeling is in favor of the change.
-MR On Mon, Dec 10, 2018 at 2:58 AM Francesco Mari <mari.france...@gmail.com> wrote: > Given the recent announcement about gitbox.apache.org, the seamless > integration with GitHub, and the fact that many of us already work with Git > in our daily workflow, what about moving our repositories to Git? >