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 <boa...@gmail.com> wrote: > > On 22 April 2018 at 13:34, Ralph Goers <ralph.go...@dslextreme.com> 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 <boa...@gmail.com> --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@commons.apache.org For additional commands, e-mail: dev-h...@commons.apache.org