I'm aware github can't actually show the correct character, but when using a tarball of your pull-request I still run into an encoding issue. Perhaps your git-client is enforcing a wrong type of encoding?