In the middle of the desert you can say anything you want

01 Jun 2022

git delete branch; git delete commit

git delete commit

git rebase -i SHA_of_commit_to_delete^ drops you into the usual screen, three you can change pick to drop in the first line (or any others) to just delete that commit.

Generally, On undoing, fixing, or removing commits in git seems like The README for that.

git delete branch

  • git branch -d some-branch deletes a local branch
  • git push origin --delete some-branch deletes a remote branch

(as usual, remembering that branches are pointers to commits)

Nel mezzo del deserto posso dire tutto quello che voglio.