jesopo 002e1333a4 Add auto-github-timeout to prevent duplicate auto-githubs		2019-06-16 16:57:22 +01:00
..
__init__.py	Add auto-github-timeout to prevent duplicate auto-githubs	2019-06-16 16:57:22 +01: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