Skip to content

Instantly share code, notes, and snippets.

@justisr
Forked from dsci/gist:1347672
Created August 13, 2021 00:46
Show Gist options
  • Save justisr/72423b92e1880c8f0a1cbdfcaa75da1d to your computer and use it in GitHub Desktop.
Save justisr/72423b92e1880c8f0a1cbdfcaa75da1d to your computer and use it in GitHub Desktop.
Delete commits from repository.
# First, check out the commit you wish to go back to (get sha-1 from git log)
git reset --hard 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a
# Then do a forced update.
git push origin +9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a^:develop
# Push specific commit
git push origin 9d3c3a0caa7f7b35ef15adb96fc80fcbb59ac72a:develop -f
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment