Get the patch from a pull request.
Send tag notifications on github requests, too.