Merge branch 'master' of ssh://svjatoslav.eu:10006/home/n0/git/physical

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 ""