Fork me on GitHub
#tools-deps
<
2019-03-29
>
sundbp14:03:01

I'm trying to use a git/url dependency behind a proxy (for an https repo). Any idea how I can set the proxy info that jgit uses under the hood?

Alex Miller (Clojure team)14:03:51

I think that is an open issue

Alex Miller (Clojure team)14:03:20

haven't had a chance to look at it yet