We're trying to call Jenkins from Phabricator. Unfortunately, Jenkins requires HTTP auth. Passing in https://user:password@jenkins.mycompany.com/... doesn't seem to work (but curl does parse that and successfully gets into jenkins.mycompany.com). Is there another way to accomplish this, short of having to write our own proxy?