[09:05:51] 10Gerrit, 10Wikimedia-GitHub: Multiple extensions are out of sync with their Github Mirrors - https://phabricator.wikimedia.org/T418675#11661089 (10A_smart_kitten) [11:12:06] (03PS1) 10Umherirrender: Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 [11:15:36] (03CR) 10CI reject: [V:04-1] Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 (owner: 10Umherirrender) [11:23:12] (03PS2) 10Umherirrender: Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 [13:50:31] FIRING: [2x] ProbeDown: Service gerrit2003:443 has failed probes (http_gerrit_tls_ip4) - https://wikitech.wikimedia.org/wiki/Runbook#gerrit2003:443 - https://grafana.wikimedia.org/d/O0nHhdhnz/network-probes-overview?var-job=probes/custom&var-module=All - https://alerts.wikimedia.org/?q=alertname%3DProbeDown [13:55:31] RESOLVED: [2x] ProbeDown: Service gerrit2003:443 has failed probes (http_gerrit_tls_ip4) - https://wikitech.wikimedia.org/wiki/Runbook#gerrit2003:443 - https://grafana.wikimedia.org/d/O0nHhdhnz/network-probes-overview?var-job=probes/custom&var-module=All - https://alerts.wikimedia.org/?q=alertname%3DProbeDown [15:49:02] 10GitLab (Project Migration), 06Release-Engineering-Team, 10Tool-recaptime-dev: Create new GitLab project group: recaptime-dev - https://phabricator.wikimedia.org/T418698 (10ajhalili2006) 03NEW [15:51:48] (03PS3) 10Umherirrender: Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 [15:54:51] (03CR) 10Hashar: [C:03+2] Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 (owner: 10Umherirrender) [15:56:20] (03Merged) 10jenkins-bot: Zuul: Use quibble-composer for some re-enabled BlueSpice repos [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 (owner: 10Umherirrender) [15:57:05] (03CR) 10Hashar: [C:03+2] "Deployed, if there is a follow up needed that will have to wait Monday :)" [integration/config] - 10https://gerrit.wikimedia.org/r/1246718 (owner: 10Umherirrender) [18:44:55] (03PS1) 10Umherirrender: build: Use tabs as line indent in json, css and js files [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 [19:29:29] (03PS2) 10SomeRandomDeveloper: Zuul: Update my email in the CI allowlist [integration/config] - 10https://gerrit.wikimedia.org/r/1246870 [19:34:51] (03CR) 10Hashar: "This repository has an `.editorconfig` file which should be amended to hint editors about which indentation should be used. Most editors " [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 (owner: 10Umherirrender) [19:35:40] (03CR) 10Hashar: [C:03+2] Zuul: Update my email in the CI allowlist [integration/config] - 10https://gerrit.wikimedia.org/r/1246870 (owner: 10SomeRandomDeveloper) [19:36:34] (03CR) 10SomeRandomDeveloper: "Thanks a lot for +2ing this so quickly :)" [integration/config] - 10https://gerrit.wikimedia.org/r/1246870 (owner: 10SomeRandomDeveloper) [19:37:29] (03Merged) 10jenkins-bot: Zuul: Update my email in the CI allowlist [integration/config] - 10https://gerrit.wikimedia.org/r/1246870 (owner: 10SomeRandomDeveloper) [19:41:55] (03CR) 10Hashar: [C:03+2] "deployed" [integration/config] - 10https://gerrit.wikimedia.org/r/1246870 (owner: 10SomeRandomDeveloper) [19:52:54] 10Gerrit, 06collaboration-services: gerrit: replication monitoring improvement - https://phabricator.wikimedia.org/T418084#11661514 (10hashar) Last night I have manually triggered a replication for `mediawiki/extensions` and `mediawiki/skins` with an url filter for `github`. That generates a few hundred of re... [20:26:18] (03PS2) 10Umherirrender: build: Use tabs as line indent in json, css and js files [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 [20:26:38] (03CR) 10Umherirrender: "Done" [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 (owner: 10Umherirrender) [21:07:56] (03PS3) 10Hashar: build: Use tabs as line indent in json, css and js files [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 (owner: 10Umherirrender) [21:10:51] (03CR) 10Hashar: "Locally I have https://github.com/editorconfig-checker/editorconfig-checker which I have used to check the files against `.editorconfig`." [performance/WikimediaDebug] - 10https://gerrit.wikimedia.org/r/1246861 (owner: 10Umherirrender)