The article reads like you can’t change local git history before pushing. I do that all the time.