jesopo b9fa74dbb5 Move PR number into/after action for pull_request events		2019-03-07 08:35:29 +00:00
..
__init__.py	Move PR number into/after action for pull_request events	2019-03-07 08:35:29 +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