If this is a guide for beginners, there should be (more?) warnings not to do history rewriting operations on commits that have already pushed.
> Disclaimer: I am not, nor do I even remotely claim to be, an expert at git. This site is not intended to be an exhaustive reference, nor is it a beginner's tutorial. And yes, there are other ways to do these same things with more theoretical purity or whatever, but I've come to these steps through trial and error and lots of swearing and table flipping, and I had this crazy idea to share them with a healthy dose of levity and profanity. Take it or leave it as you will!
> This site is not intended to be an exhaustive reference, nor is it a beginner's tutorial.
> This site is not intended to be an exhaustive reference, nor is it a beginner's tutorial.