Try to visit any ExtensionDistributor page, like https://www.mediawiki.org/wiki/Special:ExtensionDistributor/WikiEditor
It fails with "Unable to fetch extension list! "
==== Error ====
* mwversion: 1.41.0-wmf.13
* reqId: 9f6ff9ab-9716-474a-bcc8-c6fa308b0244
* [[ https://logstash.wikimedia.org/app/dashboards#/view/AXFV7JE83bOlOASGccsT?_g=(time:(from:'2023-06-25T10:31:10.163Z',to:'2023-06-26T19:28:37.639Z'))&_a=(query:(query_string:(query:'reqId:%229f6ff9ab-9716-474a-bcc8-c6fa308b0244%22'))) | Find reqId in Logstash ]]
```name=message,lines=10
MediaWiki\Extension\ExtensionDistributor\Providers\GerritExtDistProvider::makeGerritApiRequest: Could not fetch "https://gerrit.wikimedia.org/r/projects/mediawiki%2Fextensions%2FComments/branches", received: * Error fetching URL: Failed to connect to gerrit.wikimedia.org port 443: Connection timed out
* There was a problem during the HTTP request: 0 Error
```
==== Impact ====
==== Notes ====
First entry at Jun 26, 2023 @ 10:31:10.163