jesopo f431fdfd16 Put github-hide-prefix check in all github commands		2019-02-27 14:56:20 +00:00
..
__init__.py	Put github-hide-prefix check in all github commands	2019-02-27 14:56:20 +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