diff --git a/llvm/docs/GitHub.rst b/llvm/docs/GitHub.rst
--- a/llvm/docs/GitHub.rst
+++ b/llvm/docs/GitHub.rst
@@ -36,7 +36,8 @@
 ^^^^^^^^^^^^^^^^^^^^^^
 When updating a pull request, you should push additional "fix up" commits to
 your branch instead of force pushing.  This makes it easier for GitHub to
-track the context of previous review comments.
+track the context of previous review comments.  However, if you are rebasing
+your changes on the latest main branch, then your only option is to force push.
 
 If you do this, you must squash and merge before committing and
 you must use the pull request title and description as the commit message.