add smarter and DarkDimius so they can control Dotty jobs
add smarter and DarkDimius so they can control Dotty jobs

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