Re: Merging via GitHub

2020-05-16 Thread Olivier Lamy
and yeah that's embarrassing someone mentioned using a script. where is this script? On Sun, 17 May 2020 at 11:51, Olivier Lamy wrote: > > > On Sun, 17 May 2020 at 11:40, David Jencks > wrote: > >> As a side note, I’m personally in favor of the author squashing manually >> and the “merge” into

Re: Merging via GitHub

2020-05-16 Thread Olivier Lamy
On Sun, 17 May 2020 at 11:40, David Jencks wrote: > As a side note, I’m personally in favor of the author squashing manually > and the “merge” into master using rebase-and-commit. > > To your main issue, I’m pretty sure that GitHub doesn’t keep any secret > information, instead you are using an i

Re: Merging via GitHub

2020-05-16 Thread David Jencks
As a side note, I’m personally in favor of the author squashing manually and the “merge” into master using rebase-and-commit. To your main issue, I’m pretty sure that GitHub doesn’t keep any secret information, instead you are using an insufficiently verbose log command. Try git log --pretty=

Re: Merging via GitHub

2020-05-16 Thread Olivier Lamy
I wonder what is exactly the problem here? (except a noisy commit but who cares really compared to the useless noise email notifications when someone rebase a branch) But at least there are real person name. That's weird because I just used the "Squash and merge' for this PR ( https://github.co