The other day, I was in a situation where I didn’t name my commit correctly, and I had pushed it at this point. Luckily, I am the only person who is currently working on this repository, so I simply made use of the following site to do the process. Worked like a dream.