GitHub webhook handler for closing pull requests that have been merged using rebase etc. - View it on GitHub