This vote passes with 7 +1s and no -1s. I'll update infra that we're ready to do this.
On 23 April 2018 at 02:37, Gilles <[email protected]> wrote: > On Sun, 22 Apr 2018 14:11:46 -0500, Matt Sicker wrote: > >> An example project already using gitbox is whimsy: >> https://github.com/apache/whimsy >> > > And "Commons Geometry": > https://gitbox.apache.org/repos/asf?p=commons-geometry.git > > Commits were pushed to that "remote". > > Gilles > > > On 22 April 2018 at 14:06, ajs6f <[email protected]> wrote: >> >> I have asked INFRA about this (for another project) and they confirmed >>> that GitBox runs the mirroring Github => Apache, so that PRs can be >>> merged >>> at Github. I did not ask about whether commits can also be pushed >>> directly >>> to Apache. >>> >>> ajs6f >>> >>> > On Apr 22, 2018, at 3:03 PM, Matt Sicker <[email protected]> wrote: >>> > >>> > On 22 April 2018 at 13:34, Ralph Goers <[email protected]> >>> wrote: >>> > >>> >> For example, with GitBox can we now merge pull requests directly at >>> >> GitHub? That would be a nice benefit. Can we still commit to the ASF >>> git >>> >> repo or only at GitHub? >>> >> >>> > >>> > From my understanding, you can merge PRs directly via the UI (or the >>> "hub" >>> > command line tool). As for where you push code, it seems to be driven >>> from >>> > either repository (apache or github), though that might be configurable >>> to >>> > avoid history conflicts. >>> > >>> > >>> > -- >>> > Matt Sicker <[email protected]> >>> >>> >>> >>> --------------------------------------------------------------------- >>> To unsubscribe, e-mail: [email protected] >>> For additional commands, e-mail: [email protected] >>> >>> >>> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > > -- Matt Sicker <[email protected]>
