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.
[ Parent
| on HN ]
There are no comments on this comment yet.