From d0cfff1d69c1a4ed061bb80e50170f843d484301 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Antoine=20Beaupr=C3=A9?= <anarcat@debian.org>
Date: Thu, 16 May 2019 13:35:23 -0400
Subject: [PATCH] mark the eugeni step as optional

---
 tsa/howto/create-a-new-user.mdwn | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/tsa/howto/create-a-new-user.mdwn b/tsa/howto/create-a-new-user.mdwn
index 3f7aa515..81a22a13 100644
--- a/tsa/howto/create-a-new-user.mdwn
+++ b/tsa/howto/create-a-new-user.mdwn
@@ -35,8 +35,7 @@ The short version is:
     git commit -m"new user ${NEW_USER} requested by ${REQUESTOR}" &&
     git push &&
     git push alberti &&
-    ssh -tt alberti.torproject.org "ud-useradd -n && sudo -u sshdist ud-generate && sudo -H ud-replicate" &&
-    ssh -tt eugeni.torproject.org "sudo -H ud-replicate && egrep -q "${USER}@torproject.org" /etc/postfix/debian || echo "new user missing, please fix" && sudo puppet agent -t
+    ssh -tt $USER@alberti.torproject.org "ud-useradd -n && sudo -u sshdist ud-generate && sudo -H ud-replicate"
 
 See below for detailed instructions.
 
@@ -87,9 +86,11 @@ LDAP write access.
   
           sudo -u sshdist ud-generate && sudo -H ud-replicate
 
-## on the email server
+## on other servers
 
-This is currently `eugeni`.
+This step is optional and can be used to force replication of the
+change to another server manually. In this case, we force the change
+to propagate to the email server, which is currently `eugeni`.
 
   1. synchronize the change:
   
-- 
GitLab