What is going on here?
GitHub pull requests use git diff master...
, which compares the tip of current with its branch point from master.
That is not the same as git diff master
, which compares the tip of current with the tip of master.
The official docs have a precise summary of the comparison types.
So, run git diff master...
locally to see the same output that GitHub shows in its pull requests.