[15:56:04] fyi, I have set up a new deployment server, deploy2003, and while I *think* it shouldn't break anything, if I'm wrong, reverting https://gerrit.wikimedia.org/r/c/operations/puppet/+/1307433 should fix it. I will try to be around for the Monday UTC early deployment window just in case. [17:31:56] ^ that got reverted https://gerrit.wikimedia.org/r/c/operations/puppet/+/1307480 :) [17:54:35] (oh right, I forgot to mention that I decided to not leave it in there for the weekend)