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