So, just to make sure: the sync is two-way? 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...
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"? 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