Changing a git commit message in a public repoHow to change a commit message when you've already pushed it to a public repository in 4 commands.