Skip to content

Instantly share code, notes, and snippets.

@rpunt

rpunt/gitchanges.sh

Created Jul 25, 2020
Embed
What would you like to do?
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