Skip marking user if GitHub error is unknown
Skip marking user if GitHub error is unknown

For example, 5xx indicates server error, and we should try the token
again.

travis-ci/travis-tasks,travis-ci/travis-tasks