Nifty git PR+merge commit

[dandv]

Hey @davidsonfellipe, how did you do this ?

[davidsonfellipe]

@dandv I deleted my fork.

[dandv]

Hm. I've deleted my fork too but that didn't result in that sort of nice history.

[dandv]

Hey @ichernev, how did you do this on Nov 17? I've just deleted the branch you've just merged, but that didn't result in a compact commit.

[ichernev]

The history you see in github commits does not show the branching. My current merge strategy is to wait until I want to release, then I start pulling the code from all PRs, rebase on top of develop (might edit manually some commits to make them fit) and then merge. I have a script that does all that, allowing me to edit if stuff goes wrong.

The small photo of me is because I edited the commits, but I'm not the original author.

Also you shouldn't merge the PR commit with the merge -- there should be a merge commit.

Do this to check out the real history:

git log --graph --decorate --pretty=oneline --abbrev-commit