[00:54:46] <wm-bb>	 <arcstur> we still have bots targetting EditGroups, multiple unlogical requests for batch lists with filters that return 0 batches or like 1 batch from 2020... is there any way to report this so that WMCS infrastructure can deal with them? (re @arcstur: thank you, wow, the tool is insanely more responsive now :D)
[12:46:56] <taavi>	 !log tools renew prometheus certificate
[12:47:00] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools/SAL
[19:18:10] <wm-bot>	 !log lucaswerkmeister@tools-bastion-15 tools.lexeme-forms deployed f0d7740038 (l10n updates: ko, ta, vi)
[19:18:13] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.lexeme-forms/SAL
[19:19:07] <wm-bot>	 !log lucaswerkmeister@tools-bastion-15 tools.ranker deployed 5a0564cc1a (l10n updates: tr)
[19:19:07] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.ranker/SAL
[21:45:27] <wm-bot>	 !log lucaswerkmeister@tools-bastion-15 tools.lexeme-forms deployed 97d0866c92 (treat outdated [OAuth 1] access tokens more robustly)
[21:45:28] <stashbot>	 Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.lexeme-forms/SAL
[23:53:41] <wm-bb>	 <Camylevsky> 📍 (re @jeremy_b: idk why it's broken but it should stop loading Google JS on toolforge...)