How to Completely Remove a File from Git History

To be honest, I do this so often myself that I had to write something as a reminder (and for my own future reference).

2025.06.29