I fixed the line endings on my machine, committed and pushed. Github diff of my commit shows all lines as changed, however the github diff over the whole pull request still also shows all lines as changed. This is not the expected behaviour, right? Do you know of any way to have the github diff show line endings? 
Locally, all diffs (including those that have actually changed line endings) only show actually changed lines as changed, so the local tools apparently can't be trusted in this case.