News for hackers. Stuff that matters.
Re:Git undo: We can do better by ufo on Monday June 21, 2021 @06:01PM (#27585104)
By the way, I recommend using `push --force-with-lease `instead of `push --force`. This way it doesn't destroy the remote changes if someone else pushed while you weren't looking.

There are no comments on this comment yet.