also pull before push to git

diff --git a/repository handling tools/commit and push b/repository handling tools/commit and push
index e674bf1..a2bafd7 100755 (executable)
--- a/repository handling tools/commit and push
+++ b/repository handling tools/commit and push
@@ -6,6 +6,7 @@ cd ..
 
 git add --all
 cola
+git pull
 git push
 
 echo ""