Merge branch 'master' of ssh://svjatoslav.eu:10006/home/n0/git/physical
[physical.git] / repository handling tools / commit and push
index e674bf1..a2bafd7 100755 (executable)
@@ -6,6 +6,7 @@ cd ..
 
 git add --all
 cola
+git pull
 git push
 
 echo ""