The other benefit of using Option 3 over Option 1 is that you maintain the history of who committed and who authored in one line in the Git log-- i.e. "bob33 authored and ashb committed 3 hours ago" instead of just "ashb committed" for a merge commit followed by the commit(s) from bob33.
On Tue, Jul 31, 2018 at 9:11 AM Sid Anand <san...@apache.org> wrote: > Ash, > This is pretty cool. I just merged one PR from GH directly. > > Interestingly, I still used the `dev/airflow-pr work_local` to test out > the PR, but merging directly in the GitHub UI afterwards definitely avoided > my needing to do another `dev/airflow-pr merge` CLI command. > > There are 3 options in the UI: The default is "Create a merge commit" > (Option 1). I think the ones we want is the "Rebase & Merge" (Option 3), > which requires that PR submitters squash their commits. Otherwise, we could > use "Squash & Merge" (Option 2), though I am not clear if Squash & Merge is > more like option 1 or option 3. > > -s > > On Mon, Jul 30, 2018 at 7:19 PM Andrew Phillips <aphill...@qrmedia.com> > wrote: > >> > We should ask Apache infra to send the GH notifs to another mailing >> > list. >> >> Over at jclouds, we created a "notifications@" list for this purpose >> (well, actually we renamed "issues@" to "notifications@"), and send >> messages there: >> >> https://issues.apache.org/jira/browse/INFRA-7180 >> https://mail-archives.apache.org/mod_mbox/jclouds-notifications/ >> >> Regards >> >> ap >> >