Correctly Capitalize Seth's Name...
Correctly Capitalize Seth's Name...

... so he can log in

this also means no-one outside of the admin group can currently log in
I suspect it's related to our use of variables in repo urls, and this log entry:

```
jenkins]: WARNING: Looks like a bad github URL OR
the Jenkins user does not have access to the repository${repo_user}/${repo_name}`
```

lrytz/scala-jenkins-infra,SethTisue/scala-jenkins-infra,adriaanm/scala-jenkins-infra,adriaanm/scala-jenkins-infra,SethTisue/scala-jenkins-infra,scala/scala-jenkins-infra,adriaanm/scala-jenkins-infra,retronym/scala-jenkins-infra,lrytz/scala-jenkins-infra,retronym/scala-jenkins-infra,lrytz/scala-jenkins-infra,SethTisue/scala-jenkins-infra,retronym/scala-jenkins-infra,scala/scala-jenkins-infra