To get a git history without any pull request merge commits I can use the merge button (Pull request page) and perform a rebase and merge:
To get a git history without any pull request merge commits I can use the merge button (Pull request page) and perform a rebase and merge: