Default to empty string if GitHub user has no name.

This fixes a bug where GitHub users who haven't set a name in their profile are unable to log in.