[11:38:58] DEBUG XmlRcs FATAL: redis is empty for 10 seconds [14:03:36] GitHub [8benapetr/wikimedia-bot] benapetr pushed 2 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/529719019ddd...f9f98afd74fa [14:03:36] GitHub [8benapetr/wikimedia-bot] commit by mhutti1 (mhutti1) https://github.com/benapetr/wikimedia-bot/commit/03e93a399ae75e74054bed8af0b2f5038ff731b7 Allows minor and bot edits to be filtered out of the feed. Use commands @minorchanges-on @minorchanges-off @botchanges-on and @botchanges-off to control this. Users must be admin to use these commands. Bug: T51885 [14:03:36] GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/f9f98afd74fa230b058191c38bc35d49fb622f37 Renamed rc commands [14:04:25] GitHub [8benapetr/wikimedia-bot] benapetr commented on issue Allows minor and bot edits to be filtered out of the feed.: https://github.com/benapetr/wikimedia-bot/pull/52#issuecomment-168394840 [17:12:32] GitHub [8benapetr/wikimedia-bot] benapetr pushed 1 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/f9f98afd74fa...1241e762ee0d [17:12:32] GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/1241e762ee0dba8f0406106a34278e23631cf003 Renamed rc commands [17:13:17] GitHub [8benapetr/wikimedia-bot] benapetr pushed 1 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/1241e762ee0d...8763520a4b14 [17:13:17] GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/8763520a4b14b8c1a8c8db43f6953033d3605919 update readme [18:13:06] 10WM-Bot, 3Google-Code-In-2015: Offer a way for recentchanges feed to ignore minor or bot edits. - https://phabricator.wikimedia.org/T51885#1912804 (10Mhutti1) 5Open>3Resolved [20:55:24] petan: If you have a minute to take a look, I just submitted a PR for the @time extension for wm-bot. My IDE modified some project files I’m not sure if I’ll need to fix. [21:22:51] unicornisaurous: hi [21:23:01] petan: Hi! [21:24:54] GitHub [8benapetr/wikimedia-bot] benapetr pushed 3 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/8763520a4b14...136506205536 [21:24:55] GitHub [8benapetr/wikimedia-bot] commit by ndrewh (Andrew H) https://github.com/benapetr/wikimedia-bot/commit/5d4437a54b54a9e6bb9f9f5cc412017bc2ca3540 Add extension for @time command [21:24:55] GitHub [8benapetr/wikimedia-bot] commit by ndrewh (Andrew H) https://github.com/benapetr/wikimedia-bot/commit/092171f61f51b6b1a464bd4c19e83415957a31e8 Merge branch 'master' of https://github.com/benapetr/wikimedia-bot [21:24:55] GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/136506205536c25bc13128599664fb233f928991 Merge pull request #53 from ndrewh/master Add extension for @time command [21:27:14] petan: Thanks for the quick review! [21:27:20] np [21:27:39] btw you didn't provide any version / author information in plugin [21:28:14] I actually think we have only version in wm-bot's plugins, not sure about other info [21:28:38] Results (Found 1): channels, [21:28:38] @search system [21:28:42] !channels [21:28:42] http://wm-bot.wmflabs.org/db/systemdata.htm [21:28:59] hmm, just version [21:30:14] @systeminfo [21:30:14] * wm-bot5 is online; channels: 68 connected: True working: True queue: 0 [21:30:14] * wm-bot4 is online; channels: 68 connected: True working: True queue: 0 [21:30:14] * wm-bot2 is online; channels: 69 connected: True working: True queue: 0 [21:30:14] * wm-bot3 is online; channels: 68 connected: True working: True queue: 1 [21:30:26] hmm [21:32:59] petan: I just submitted another PR which adds a version [21:33:28] GitHub [8benapetr/wikimedia-bot] benapetr pushed 2 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/136506205536...6f45cf08e12b [21:33:28] GitHub [8benapetr/wikimedia-bot] commit by ndrewh (Andrew H) https://github.com/benapetr/wikimedia-bot/commit/ac76a959bd35b3fa21b3b2b3894d8fd898087b95 Add version for Time plugin. [21:33:29] GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/6f45cf08e12b38ff63549011f96b15f373975f42 Merge pull request #54 from ndrewh/master Add version for Time plugin.