Re:Git undo: We can do better
by pulse7 on Monday June 21, 2021 @12:01PM
(#27580464)
...plus git operation names are a bit confusing (pull vs. fetch, etc.)
[ Parent
| on HN ]
There are no comments on this comment yet.