From ca99d3e64670c3b985b09f57b55d8dc8d8541b9b Mon Sep 17 00:00:00 2001
From: Markus Frank <Markus.Frank@cern.ch>
Date: Thu, 29 Sep 2016 17:23:46 +0200
Subject: [PATCH] update git commands for pull

---
 doc/git.cmds | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/git.cmds b/doc/git.cmds
index 23abe6f09..59dadba4e 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
 
-- 
GitLab