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