Skip to content

Instantly share code, notes, and snippets.

@rpunt
Created July 25, 2020 22:13
Show Gist options
  • Save rpunt/e1d8225689ac5bd4aed2883a03f69f22 to your computer and use it in GitHub Desktop.
Save rpunt/e1d8225689ac5bd4aed2883a03f69f22 to your computer and use it in GitHub Desktop.
Has something changed in a local git repo?
if ! git diff-index --quiet HEAD --; then
echo "I have changes to be pushed"
fi
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment