jesopo 91a7f622b8 Don't check github-hide-prefix in !ghwebhook		2019-03-02 09:30:53 +00:00
..
__init__.py	Don't check github-hide-prefix in !ghwebhook	2019-03-02 09:30:53 +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