jesopo 88a28352b8 Add a setting to hide github repo names		2019-03-01 21:20:19 +00:00
..
__init__.py	Add a setting to hide github repo names	2019-03-01 21:20:19 +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