jesopo b549a28bed 'pull' -> 'PR' in !ghpull		2019-03-05 11:41:24 +00:00
..
__init__.py	'pull' -> 'PR' in !ghpull	2019-03-05 11:41:24 +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