Confession: I regularly fix minor mistakes in Git commits I’ve already pushed to public servers by quickly amending HEAD, doing a git push --force, and hoping nobody pulled from the repo in the thirty seconds or so between pushes.