Fixes #31.

Github doesn't necessarily gives user name. If they don't, we'll just
live without a name until the users fills in more details.