No problem at all, but as I read in another thread, someone asked for the same functionality, so I thought there would be some need of this, and I was astonished that perhaps I misjudged the situatiom. I hope no one thinks I'm complaining - who am I to do so? And please be aware I'm not a native English speaker, so it might be that now and then I use expressions which are not always appropriate to the situation they should describe ...
For the moment I see no chance to solve the whitespace problem nicely - with any new version it will re-emerge. Or is there an opportunity to undo a commit in github online? I didn't find any solution in this direction. The only way would be to delete the fork, refork again and then insert the changes without any format changes ...
As I use PHPStorm as my IDE which connects directly to the git repository, I have to be aware not to use the code formatter when analyzing code or editing code I like to commit. Usually I presume the availability of tools showing diffs without the "whitespace only changes" (PHPStorm does it, Eclipse, Kaleidoscope ...) and there is no thougth about unnecessary formst changes. In fact the Github hint with "?w=1" as URL parameter could be helpful to avoid the worst cases. But anyway, Paul, as it is your project/repository, I would like to adapt your code formatting practice.
And as I never would like to seem impatient I'll wait until more steady times emerge and we may discuss the matter with ease.