[08:32:21] (03PS4) 10Framawiki: Update Vagrant files to py3 [analytics/quarry/web] - 10https://gerrit.wikimedia.org/r/454079 (https://phabricator.wikimedia.org/T192698) [08:32:29] (03CR) 10jerkins-bot: [V: 04-1] Update Vagrant files to py3 [analytics/quarry/web] - 10https://gerrit.wikimedia.org/r/454079 (https://phabricator.wikimedia.org/T192698) (owner: 10Framawiki) [18:06:02] (03CR) 10Lokal Profil: [C: 031] "see comment, not a blocker for merging so +2 if you disagree" [labs/tools/heritage] - 10https://gerrit.wikimedia.org/r/454225 (https://phabricator.wikimedia.org/T202293) (owner: 10Jean-Frédéric)