Few things we need to finalize before the gitbox move. 1) Merge strategy on GH. I think we want to use the "rebase and merge <https://help.github.com/articles/about-pull-request-merges/#rebase-and-merge-your-pull-request-commits>" strategy only (i.e., disable other strategies) to avoid merge commits. This will be in parity with our RB based workflow.
2) One writable repo. Do we want to keep both github and gitbox repos as writable repos or do we want to make github the only writable repo (and make gibox a read only mirror)? One advantage is that this will avoid conflicts (that need to be manually resolved) when people commit to both repos independently and there is slowness in synchronization. 3) Our RB server currently points to yet another mirror " git.apache.org/mesos" which has occasionally given us issues when posting reviews due to synchronization issues. Should we move our RB to point to github too? Thanks, On Sun, Jul 15, 2018 at 9:26 PM Jie Yu <yujie....@gmail.com> wrote: > Vinod, can you start a VOTE thread per our discussion during the > committer's meeting. > > On Sun, Jul 15, 2018 at 1:34 AM, Gastón Kleiman <gas...@mesosphere.io> > wrote: > > > On Wed, Jun 20, 2018 at 7:59 PM Vinod Kone <vinodk...@apache.org> wrote: > > > > > Hi folks, > > > > > > Looks like ASF now supports <https://gitbox.apache.org/> giving write > > > access to committers for their GitHub mirrors, which means we can merge > > PRs > > > directly on GitHub! > > > > > > > +1. Not only does it allow to merge PRs directly on GitHub, but it also > > allows committers to close stale PRs! > > > > -Gastón > > >
