Check if git identified changes to directory

Signed-off-by: George J Padayatti <george.padayatti@igrant.io>
decentralised-dataexchange · Jun 16, 2022 · 7a0a05d · 7a0a05d
1 parent edabbf2
commit 7a0a05d
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/script.sh b/script.sh
@@ -0,0 +1,6 @@
+if ! (git diff --exit-code origin/master..master > /dev/null) \
+  || ! (git diff --exit-code master > /dev/null) \
+  || ! [[ -z "$(git status --porcelain)" ]] ; then
+  echo "Your local repo has some changes that aren't pushed to origin/master ."
+  exit 1
+fi