Ensuring github pull requests are working properly