[11:18:36] <thedj>	 hmm, there are bots running on tools-login
[11:19:19] <Lucas_WMDE>	 that’s not nice
[11:19:23] <thedj>	 tools.herculebot
[11:22:39] <hauskatze>	 not migrated from trusty yet?
[11:23:47] <thedj>	 and the other is tools.ashotbot it seems.. 
[11:24:46] <hauskatze>	 happy to know it's not tools.mabot :)
[18:20:02] <hauskatze>	 !help Does tools-static take some time to catch up with changes?
[18:20:02] <wm-bot>	 hauskatze: If you don't get a response in 15-30 minutes, please create a phabricator task -- https://phabricator.wikimedia.org/maniphest/task/edit/form/1/?projects=wmcs-team
[18:20:25] <hauskatze>	 background: https://github.com/Pathoschild/Wikimedia-contrib/pull/130#issuecomment-508551869
[18:21:31] <bd808>	 hauskatze: I think it should be close to instant. 
[18:37:02] <hauskatze>	 bd808: took a bit of time but it's ok now