[12:53:07] !log tools.awmd-stats Down/Shutdown tool for little maintenance work (for 2mins) [12:53:09] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.awmd-stats/SAL [12:58:56] !log tools.awmd-stats Restart the tool after maintenance work complete [12:58:57] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.awmd-stats/SAL [13:03:06] !log tools.awmd-stats restart complete, tool up and running again [13:03:06] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.awmd-stats/SAL [16:14:50] !log tools.quickcategories deployed 9d3c6e3dc3 [16:14:51] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.quickcategories/SAL [20:07:38] does anyone know why the action=edit API has both a 'minor' and a 'notminor' parameter? [20:10:31] oh, looks like it’s to override the 'minordefault' option [20:11:40] yeah so historically the API has boolean parameters that are either set, and therefore true, or unset, and therefore false [20:11:51] no room for 'force true', 'force false' and 'leave default' [20:12:18] yeah I wasn’t even aware that the 'minordefault' option existed [20:12:50] end result being the default is what you get if you add nothing, to force true you set 'minor' and to force false you set 'notminor' IIRC [20:13:01] !log tools.awmd-stats Restarting the tool... [20:13:02] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.awmd-stats/SAL [20:15:58] !log tools.awmd-stats Restart successful, tool up and running again [20:15:58] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.awmd-stats/SAL [20:49:34] !log tools.quickcategories deployed bd9b272b21 [20:49:36] Logged the message at https://wikitech.wikimedia.org/wiki/Nova_Resource:Tools.quickcategories/SAL