GitHub merge pull request.. loses commits from PR author?

[micha]

So I just merged in a pull request from someone into a GitHub repo, and at first it all showed up as expected - the commits from the other author, and the merge commit.  Keeping a nice history in the git repository.

But now the commits from the other author have disappeared and my repo is only showing the final merge commit.  I'm very unhappy about this as it removes the contribution from the other author from the commit log.  It seems that this is standard practise for GitHub as my own pull requests into other repos have similarly lost "my" commits (I wasn't sure whether the other authors did something on purpose to do that or not).

Does anyone know if there is any way to force GitHub to keep the individual commits from the other authors in the git history?  I've tried searching online but haven't found anything relevant.

 

-----

EDIT:

 

hmm, so looking through the web history, the commits are showing up. And using "git log" they also show up.

But they're not showing up in "Git Extensions" anymore, and I can't find a setting to show them again.

 

So looks like it's an oddity in Git Extensions rather than GitHub... Move along, nothing to see here after all.

 

----

EDIT2:

Git Extensions now has a "Show First Parents" option in the View menu, with a hot-key combination. Looks like I might have accidentally triggered that.

Edited March 5, 2020 by micha

[Benjamin Kerman]

While there is a way to achieve that with git (called 'squash merge', I believe), typically you have to enable that specifically for the merge request, and I think there's warnings also.