JENKINS-13726: Github plugin should work with Guthub enterprise by allowing for overriding the github URL.
follow-up fix and documenting the expected value