From: Svjatoslav Agejenko 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/?a=commitdiff_plain;h=f991466e29f7ea23c18c24e090ae323b213c5055;p=physical.git 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 ""