Test GitHub pull request integration with Jeepyb

This is a test to see how the integration of GitHub and Jeepyb.