From f991466e29f7ea23c18c24e090ae323b213c5055 Mon Sep 17 00:00:00 2001 From: Svjatoslav Agejenko Date: Wed, 12 Oct 2022 11:57:10 +0300 Subject: [PATCH] also pull before push to git --- repository handling tools/commit and push | 1 + 1 file changed, 1 insertion(+) 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 "" -- 2.20.1