Hacker News new | ask | show | jobs
by arcticbull 2596 days ago
This is indeed a job for git revert, push/pr, check out a new branch then revert the revert with better messaging :)