News for hackers. Stuff that matters.
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.)

There are no comments on this comment yet.