Closed dominikh closed 8 years ago
@mdempsky Do you want me revise the PR, or is it easier for you to just write it yourself at this point?
Updated the PR.
Easier if all I have to do is a click a button. :)
Gross that it ended up as a merge commit, rather than a fast forward. Is that fundamental to GitHub PRs, or can I avoid that somehow? (I'm more used to Gerrit.)
It is fundamental of GitHub PRs. The merge button always creates a merge commit.
That sucks. Oh well.
Thanks!
The merge button always creates a merge commit.
That sucks. Oh well.
For posterity, this has since changed. It used to be true for many years, but it's no longer true as of a few months ago. GitHub now has a "squash" merge mode that rebases and squashes into a single commit when merging.
Yep, I've started using that!
Closes gh-5