Way back in May we had consensus[1] on using gitbox so that we could start making use of pull requests.
In the subsequent JIRAs to implement, it became clear that the entry bar to start is convert our repo to use gitbox. this means the writeable repository will be on github and some committer set up will be needed[2]. I don't think this got adequately conveyed originally, so I wanted to call it out here. Additionally, the infra process for converting to gitbox requires a link to a community consensus thread. While I think we already had that back in [1], May was a long time ago and some folks might not be watching for [DISCUSS] threads. Please vote: +1: we should convert to gitbox and enable pull request merging -1: we should not convert to gitbox because... Vote will be open for at least 72 hours and will be subject to Majority Approval (3 or more +1s and more +1s than -1s). [1]: https://s.apache.org/ieB0 [2]: Committers will need to flag a github account as theirs via the account linking utility: https://gitbox.apache.org/setup/ The git-wip repository will also cease, so folks who currently use it will need to update their remote url for existing git clones. We can call this out in our contribution docs.
