Hacker News new | ask | show | jobs
by sgtpepper 4011 days ago
to be fair, if it's truly a "derp" commit you're better off using "git commit --amend --no-edit", which is technically rewriting history but in one stroke :)