If you're using squash merging, yes. But I find it better to do merge commits anyway. I mean doctor up your PR so it's one commit and you can hide your mistakes

If you're using squash merging, yes. But I find it better to do merge commits anyway. I mean doctor up your PR so it's one commit and you can hide your mistakes, I mean, development process, before you open the PR, of course, but the button on your git-hosting tool should just be a 'merge'. As an aside, I find myself doing amend commits all the time these days.