jesopo 5d47e7e895 Add a permission to !ghwebhook so an admin user can use it without +o (github)		2019-01-29 08:06:59 +00:00
..
ghwebhook.md	pr-all also shows when there are new commits to a pull request (github)	2019-01-21 17:25:13 +00:00
module.py	Add a permission to !ghwebhook so an admin user can use it without +o (github)	2019-01-29 08:06:59 +00:00