Heaviliy used tools by Dispenser (https://toolserver.org/~dispenser/view/Main_Page) have to be moved to Tool Labs.
See also https://en.wikipedia.org/wiki/User:Dispenser/Toolserver_migration
Version: unspecified
Severity: normal
Heaviliy used tools by Dispenser (https://toolserver.org/~dispenser/view/Main_Page) have to be moved to Tool Labs.
See also https://en.wikipedia.org/wiki/User:Dispenser/Toolserver_migration
Version: unspecified
Severity: normal
I *guess* it's related to https://en.wikipedia.org/w/index.php?title=Wikipedia:Village_pump_%28technical%29&oldid=616201284#Can_we_raise_the_loss_of_these_tools_with_someone_at_WMF.3F plus there are differing interpretations (see https://bots.wmflabs.org/~wm-bot/logs/%23wikimedia-tech/20140701.txt ) if a 24TB database is needed for these tools.
Closing this as wontfix. The tools were on Labs briefly but were removed due to ongoing issues. I don't think Dispenser is going to move them back to Labs any time soon.
https://dispenser.toolforge.org/view/Main_Page is a 404 and https://dispenser.info.tm/~view/Main_Page shown on that page is an unregistered domain.
Boldly declining.