github profile success

It looks like `git config --global user.email johndoe@example.com`
finally did the trick (except with `users.noreply.github.com` and with
my own username