default to github username when the user has no name