Skip to content

Instantly share code, notes, and snippets.



Created Jul 25, 2020
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
You can’t perform that action at this time.