Skip to content

Instantly share code, notes, and snippets.

Created July 25, 2020 22:13
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"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment