Github might not have a name for all users.

Fallback to using their nickname as their name when we they create their account after the github oauth dance.  I've manually fixed the existing records that we didn't do this for.