Properly respond to Github's ping event