I always struggle to remember how to delete last commit in git.
TL:DR it doesn't matter, as long as the file is not a giant mess.
Let's use this week tech drama to discuss readability of code.
I challenge you to find a shorter, and yet so complete answer.
I didn't know, but I learned it - and you could learn it too ...