Creating a formal vote for this. I don't think we have a choice but they seem to request a vote anyway. This will be lazy consensus, I plan to create an infra ticket for the migration on Monday if the vote passes.
Starting with my +1. -- Marcelo
- [VOTE] Move source repo to gitbox Marcelo Vanzin
- Re: [VOTE] Move source repo to gitbox Marco Gaido
- Re: [VOTE] Move source repo to gitbox Alex Bozarth
- Re: [VOTE] Move source repo to gitbox Luciano Resende
- Re: [VOTE] Move source repo to gitbox Saisai Shao
- Re: [VOTE] Move source repo to gitbox Jeff Zhang
- Re: [VOTE] Move source repo to gitbox Marcelo Vanzin
