From: Svjatoslav Agejenko <svjatoslav@svjatoslav.eu>
Date: Wed, 12 Oct 2022 08:57:10 +0000 (+0300)
Subject: also pull before push to git
X-Git-Url: http://www2.svjatoslav.eu/gitweb/?p=physical.git;a=commitdiff_plain;h=f991466e29f7ea23c18c24e090ae323b213c5055;hp=2cb1a8b02c9d9ce949d668d9e932e4a5996e99ad

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