JENKINS-13726: Github plugin should work with Guthub enterprise by allowing for overriding the github URL.