Hacker News new | ask | show | jobs
by eagle2com 1239 days ago
That is the option of last resort, when you have already pushed _and_ you cannot mess with the history anymore. The other one being reseting your local branch to a previous commit and force pushing if needed.

Edit: wording