Page MenuHomePhabricator

Redirect bots.wmflabs.org to wm-bot.wmflabs.org
Closed, ResolvedPublic

Description

We have seen two tickets within the last twelve hours with confusion over the bot URLs: T159659 and T159731. Since many channels include the logging link in their topics, it would be wise to redirect bots.wmflabs.org to wm-bot.wmflabs.org.

Event Timeline

@Ciencia_Al_Poder that is a key defined by someone in a channel which you didn't even mention, so whatever channel is that, contact people who have right on bot there and ask them to fix it

I've changed them now, the channel can be easily guessed by the bot message.

I mentioned that not because it requires changing it, but because the redirect should be created, since there are more places pointing to the now inaccessible bots.wmflabs.org domain.