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.