[10:40:03] <tonythomas>	 petan: you around ?
[10:50:06] <sDrewth>	 problem?
[11:38:56] <tonythomas>	 sDrewth: yeah! how can I get wm-bot report issue reports too to the channel ?
[13:28:09] <petan>	 tonythomas: hey
[13:28:14] <petan>	 you mean from github right?
[13:28:19] <petan>	 that's planned feature
[13:28:31] <petan>	 you can actually implement it yourself if you understand php
[13:28:59] <petan>	 https://github.com/benapetr/wikimedia-bot/tree/master/src/WMBot.Plugins/GitHub/listener
[15:13:47] <tonythomas>	 petan: let me check that one out 
[15:26:46] <petan>	 tonythomas: github.php is processing the payload from github, so that is a file you probably need to edit
[15:27:17] <petan>	 you can see contents of JSON from github in settings of your repository, there is a list at bottom in hook config
[15:36:28] <wm-bot>	 GitHub [8benapetr/wikimedia-bot] benapetr pushed 1 commits: https://github.com/benapetr/wikimedia-bot/compare/59438824207a...cc2f28eda98f
[15:36:28] <wm-bot>	 GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/cc2f28eda98fd846bc3308c30953bb990c6474b7 inserted a branch name for pushes