Externals PRs: A Few modifications to make it work with jenkins