News for hackers. Stuff that matters.
Re:Git undo: We can do better by dorian-marchal on Monday June 21, 2021 @03:38PM (#27583340)
Also, one advantage of `git pull origin master:master` is that you don't have to checkout master first.

There are no comments on this comment yet.