diff --git a/doc/git.cmds b/doc/git.cmds
index 23abe6f0968d3f3b9360a212a81ab7fdaa9ab769..59dadba4e6bca298c6ec9e52d49d409780ead39f 100644
--- a/doc/git.cmds
+++ b/doc/git.cmds
@@ -16,10 +16,12 @@ git diff --numstat downstream/master
 ## Equiv svn status
 git status
 
-## Push for running tests
-git push gitlab
+## Push for running tests (-f required after a git pull from github!)
+git push -f gitlab
 
 ## Damned password:
 ## Adding ssh key using web page!
 
+# Sync with master branch on github
+git pull