From what I can tell, every time a pull request is closed, GitHub
acutally sends *two* webhook requests, one for the pull request, and a
separate one with event = "push". This means that handling a closed
pull request event is unnecessary if we're already handling push
events.