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.
git diff master... locally to see the same output that GitHub shows in its pull requests.