Hmm, perhaps we should update the interwiki map as well?

Martin 

po 6. 7. 2020 v 18:00 odesílatel Arturo Borrero Gonzalez <aborrero@wikimedia.org> napsal:
Hi there!

Tomorrow 2020-07-06 at about 10:00 UTC we will enable the legacy redirector and
this migration will be completed.

All requests to tools.wmflabs.org/<toolname> will be permanently redirected to
<toolname>.toolforge.org.

If you need additional context about this, please read:

https://wikitech.wikimedia.org/wiki/News/Toolforge.org

Please reach out if you need help or have doubts.

regards.

--
Arturo Borrero Gonzalez
SRE / Wikimedia Cloud Services
Wikimedia Foundation

_______________________________________________
Wikimedia Cloud Services mailing list
Cloud@lists.wikimedia.org (formerly labs-l@lists.wikimedia.org)
https://lists.wikimedia.org/mailman/listinfo/cloud