[09:03:03] <_joe_>	 if a package is installed by puppet, does it make sense to run puppet instead of apt?
[09:03:28] <_joe_>	 unless you're forcing an upgrade
[09:04:15] <federico3>	 we are running puppet followed by an apt dist-upgrade
[09:25:51] <Emperor>	 Hi, could I get a +1 on https://gerrit.wikimedia.org/r/c/operations/puppet/+/1194566 please? Next batch of codfw nodes have been drained to 0 weight, so need removing from the rings so maintenance can be done on them.
[09:28:50] <federico3>	 ok
[09:32:46] <Emperor>	 thanks :)
[12:29:38] <Amir1>	 afk for lunch
[15:37:41] <federico3>	 Amir1: ok to pool in the new es host?
[17:15:42] <Amir1>	 federico3: go for it (sorry I was tired and rested a bit)
[17:15:47] <Amir1>	 _joe_: Emperor: FYI https://phabricator.wikimedia.org/T372165