diff options
| author |  jesopo | 2018-11-06 16:08:02 +0000 |
|---|---|---|
| committer | jesopo | 2018-11-06 16:08:02 +0000 |
| commit | 0e2d2b268a101e3cccce057c9506d3df58ef6531 (patch) | |
| tree | 2308cf4c2e6bbd3476d504a2c90e45932f94dfae /src/EventManager.py | |
| parent | if an issue comment is from a pull request, it's denoted by the presence of (diff) | |
Handle github_event 'ping'
Diffstat (limited to 'src/EventManager.py')
0 files changed, 0 insertions, 0 deletions