TIL: How to Remove a File From a Git Commit

I’ve hired AI as my code reviewer.

When I write code, AI reviews it. For that, I feed Copilot with a diff to review. But I always have to Google how to diff two branches.

To avoid Googling it every time, here it is:

$ git diff development..mybranch > diff

Today, by accident, I committed the actual diff. So I had to remove it from a commit. I wasn’t sure if I needed a git rebase or something else. I had to Google it.

Again, to avoid Googling it every time, [Source]

$ git reset --soft HEAD~1  # Undo the last commit, keeping the changes
$ # Do your thing
$ git commit -c ORIG_HEAD  # Commit, using the last message

Et voilà!