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