+1 Finally, Usergrid committers will be able to merge GitHub PRs with the click of a button.
On Thu, Jan 3, 2019 at 12:07 PM Michael Russo <[email protected]> wrote: > Hi All, > > Given the recent notices from Apache Infra team, I'm proposing that we go > ahead and migrate all of the usergrid repos to gitbox.apache.org before > the > forced migration. This will not change community contribution/interaction > via Github. See the notice email > < > https://lists.apache.org/thread.html/b9ab62075cc7fcb8ee0c2c0b1d4c39f2ae5918bd4c041dc9bf8350ef@%3Cdev.usergrid.apache.org%3E > >for > more details. > > Please vote on the early migration. > > The vote will be open for 72 hours. > [ ] +1 Go ahead with the move to gitbox > [ ] +0 no opinion > [ ] -1 Do not migrate early to gitbox because ... > > Thanks. > -Michael >
