Add additional message for proxy users about https//.insteadOf git://, fixes #250.