Il Lun 13 Lug 2020, 21:03 Maarten Mulders <mthmuld...@apache.org> ha scritto:
> So, just to make sure: the sync is two-way? Yes What happens on Gitbox is > synced to Github and vice versa? I thought it was only from Gitbox to > Github, but never the other way around... > No. We should ask infra to know how this magic happens > > I do agree that Githubs UI is a bit more sophisticated for dealing with > merge requests. I vaguely recall an earlier discussion on this list > about the use of Githubs "Squash and merge" button. I thought the > outcome of that discussion was that we shouldn't use it, because the > author in the commit log would show as "Github", or something like that. > > So then the conclusion is, we can use Github for accepting & merging > pull requests, but shouldn't use "Squash & merge"? > Yes, do not use the button Enrico > Maarten > > On July 13th, 2020 at 20:28, Elliotte Rusty Harold wrote: > > Much work happens directly on Github and syncs the other direction to > > Gitbox. That workflow is likely more familiar to most developers these > > days, and the Github UI is significantly advanced beyond Gitbox. > > > > On Mon, Jul 13, 2020 at 2:20 PM Maarten Mulders <mthmuld...@apache.org> > wrote: > >> > >> Hi all, > >> > >> The other day I was working on a pull request offered through Github. I > >> couldn't find instructions on how to accept and incorporate it. Based on > >> my own experiences with submitting patches to Maven through Github I > >> came up with a short how-to. > >> > >> I have written it down in a short guide "Working with Github pull > >> requests" [1] which I intent to publish on the Apache Maven site, under > >> "Maven Developer Centre / Committers". I would appreciate if some of you > >> could take a look and see if the guide makes sense. > >> > >> Thanks, > >> > >> Maarten > >> > >> [1] > >> > https://gitbox.apache.org/repos/asf?p=maven-site.git;a=shortlog;h=refs/heads/add-github-pull-request-guide > >> > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > >> For additional commands, e-mail: dev-h...@maven.apache.org > >> > > > > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > >
