Hacker News new | ask | show | jobs
by spb 4210 days ago
He didn't just try to undo it, he `git push -f`'d over it.