jesopo 3411f12fc4 Use github-default-repo to fill in org when org is missing but repo isn't		2019-05-17 10:10:27 +01:00
..
__init__.py	Use github-default-repo to fill in org when org is missing but repo isn't	2019-05-17 10:10:27 +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