Hacker News new | ask | show | jobs
by joatmon-snoo 3471 days ago
I think grandparent meant a "git revert", which is actually a distinct operation (introduce a commit which is the inverse of a given commit) from resetting a branch pointer.