| 
      
        2018-08-30
      
      §
     | 
  
    
  | 19:38 | 
  <thcipriani> | 
  bring integration-slave-docker-1025 back online | 
  [releng] | 
            
  | 19:37 | 
  <Hauskatze> | 
  github: deleted mirror of extension-MwEmbedSupport per T197918 | 
  [releng] | 
            
  | 16:14 | 
  <thcipriani> | 
  reloading zuul to deploy https://gerrit.wikimedia.org/r/#/c/integration/config/+/456362/ | 
  [releng] | 
            
  | 07:53 | 
  <legoktm> | 
  deploying https://gerrit.wikimedia.org/r/456343 | 
  [releng] | 
            
  | 07:39 | 
  <legoktm> | 
  deployed https://gerrit.wikimedia.org/r/456341 | 
  [releng] | 
            
  | 07:19 | 
  <legoktm> | 
  deploying https://gerrit.wikimedia.org/r/456340 | 
  [releng] | 
            
  | 07:04 | 
  <legoktm> | 
  deploying https://gerrit.wikimedia.org/r/456337 | 
  [releng] | 
            
  | 05:57 | 
  <legoktm> | 
  manually triggering jobs on contint1001 (this time with 8 parallel jobs, up from 6 previously) | 
  [releng] | 
            
  | 03:44 | 
  <legoktm> | 
  deployed https://gerrit.wikimedia.org/r/456328 | 
  [releng] | 
            
  | 02:55 | 
  <legoktm> | 
  rebuilding docker for https://gerrit.wikimedia.org/r/456073 | 
  [releng] |