Make Github name optional

The github API returns no name field if the user has given none (and
only goes by their user handle). For that reason, make the name field
optional.