change recommended usernames in ~/.ssh/config

SethTisue · SethTisue · commit a76823201028 · 2016-11-15T16:34:21.000-08:00
because user `ubuntu` can sudo but user `jenkins` can't
diff --git a/doc/client-setup.md b/doc/client-setup.md
@@ -98,13 +98,13 @@ Host jenkins-master
   User ec2-user
 
 Host jenkins-worker-behemoth-1
-  User jenkins
+  User ubuntu
 
 Host jenkins-worker-behemoth-2
-  User jenkins
+  User ubuntu
 
 Host jenkins-worker-ubuntu-publish
-  User jenkins
+  User ubuntu
 
 Host jenkins-worker-windows-publish
   User jenkins
