diff options
| author |  jesopo | 2018-12-08 09:00:12 +0000 |
|---|---|---|
| committer | jesopo | 2018-12-08 09:00:12 +0000 |
| commit | 9bef4b7df1464043fa139f0f046c725980e3577e (patch) | |
| tree | bbc48966bea2d2ecf054a632889acac372a76fc9 /modules/github.py | |
| parent | Check whether we actually have a httpd running when unloading rest_api.py (diff) | |
| signature | ||
Switch to using a case insensitive dictionary for headers instead of doing
.title() on each header key
Diffstat (limited to 'modules/github.py')
| -rw-r--r-- | modules/github.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/modules/github.py b/modules/github.py index ea0fd80b..92a0c268 100644 --- a/modules/github.py +++ b/modules/github.py @@ -41,7 +41,7 @@ class Module(ModuleManager.BaseModule): )["payload"][0] data = json.loads(payload) - github_event = event["headers"]["X-Github-Event"] + github_event = event["headers"]["X-GitHub-Event"] if github_event == "ping": return True |