Y
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