| 2019-03-06
      
      § | 
    
  | 18:25 | <hasharAway> | contint1001: restart Jenkins for plugins upgrade | [releng] | 
            
  | 18:24 | <hasharAway> | reloading zuul for I21d7fa2939f507441f7d130f8207541e28d762ad | [releng] | 
            
  | 18:02 | <hashar> | Upgrading plugins on https://releases-jenkins.wikimedia.org | [releng] | 
            
  | 17:37 | <hashar> | Reloading Zuul for  mediawiki/libs/Zest https://gerrit.wikimedia.org/r/#/c/integration/config/+/494609/2/zuul/layout.yaml | [releng] | 
            
  | 16:27 | <Krinkle> | doc1001 had bad permissions set on /org/wikimedia/doc (chmod 755 instead of 775). Making it impossible to git pull in the way that post-merge Jenkins job on integration/docroot recommends. Fixed with `sudo -u doc-uploader chmod 775 /srv/wikimedia/org/wikimedia/doc`. | [releng] | 
            
  | 15:58 | <andrewbogott> | deleting deployment-prometheus01 on Filippo's advice | [releng] | 
            
  | 13:31 | <gehel> | upgrading logstash to 5.6.14 on deployment-logstash2 | [releng] | 
            
  | 13:15 | <gehel> | upgrading elasticsearch to 5.6.14 on deployment-logstash2 | [releng] | 
            
  | 11:33 | <Lucas_WMDE> | lucaswerkmeister-wmde@deployment-mediawiki-09:~$ sudo systemctl restart php7.2-fpm # T217323 | [releng] |