GitHub advises "Force pushing can corrupt your pull request." Why?

Question

In https://help.github.com/articles/about-pull-requests/ , GitHub has a note reading:

Note: When working with pull requests, keep the following in mind:

[...]

• When pushing commits to a pull request, don't force push. Force pushing can corrupt your pull request.

I don't understand the reasoning for this -- in the past I have routinely force-pushed amended commits to branches with an associated open PR and never seen any branch or PR UI corruption issues.

I am aware that force-pushing makes it harder to work with co-workers on the same branch -- but to me that does not really meet the definition of a "corrupted branch" or a "corrupted PR".

Can anyone explain what GitHub mean by this?

Answer 1

Force pushing can corrupt your pull request. It doesn't always do.

When a real force push happens, the original pull request loses one or more commits and the updated pull request may or may not bring in one or more new commits. If the changes introduced by the lost commits are not included in the new pull request, the content of files is corrupted. If the changes are kept, but the information including author/committer names, emails or dates is forged, we can also say the pull request is corrupted. These are the things that matter in a version control system. But it's not a problem if you intend to do so. Sometimes it's necessary to rewrite histories.

In your case where I guess only commit messages are amended and nothing important is lost, I believe it's the right thing to do a force push as long as you know the consequences. But it will be a problem if one does it accidentally or recklessly, especially when the pull request includes unmerged commits from other contributors.

When you really need to do a force push, you can always create a new pull request, which is much safer and keeps away annoying problems