From a git branch, a colleague of mine ran
git diff origin master
What is it supposed supposed to do? What does origin
separately point to?
This is related, but not covered in In Git, what is the difference between origin/master vs origin master?