Skip to content

Instantly share code, notes, and snippets.

@giuliohome
Last active September 10, 2025 06:48
Show Gist options
  • Save giuliohome/ecef3e6e69736feeb0d6fc7eda7b5d56 to your computer and use it in GitHub Desktop.
Save giuliohome/ecef3e6e69736feeb0d6fc7eda7b5d56 to your computer and use it in GitHub Desktop.
Useful git commands
# interrupt a merge, e.g. because you want to switch the order of your commit <--> pull commands
git merge --abort
# undo the last commit
git reset --soft HEAD~
# check the commit history
git log
# save the password
git config --global credential.helper store
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment