diff --git a/docs/sources/project/work-issue.md b/docs/sources/project/work-issue.md
index 1719195cd4..32e21d5e8a 100644
--- a/docs/sources/project/work-issue.md
+++ b/docs/sources/project/work-issue.md
@@ -191,9 +191,10 @@ You should pull and rebase frequently as you work.
 
 	Make sure you include your signature.
 
-8. Push any changes to your fork on GitHub.
+8. Push any changes to your fork on GitHub, using the `-f` option to
+force the previous change to be overwritten.
 
-		$ git push origin 11038-fix-rhel-link
+		$ git push -f origin 11038-fix-rhel-link
 
 
 ## Where to go next