GitHub: Fix issue with X-GitHub-Event sometimes being lowercase (Python version?)
GitHub: Fix handling of ping event.