Handle GitHub pull requests. Fixes #8.