Fork me on GitHub
#tools-deps
<
2019-04-01
>
mpenet10:04:38

a comment says it's fixed but I couldn't confirm it, it still seems broken

mpenet11:04:58

my bad it does work now

sundbp19:04:16

@alexmiller I'd be willing to do some lifting on tdeps-124 (git proxies) if it is of help and we can agree a direction of where to take proxy info from. It is quite a blocker for my adoption of tools.deps so it is high prio for me.

Alex Miller (Clojure team)20:04:51

go for it! I think the two main options are to leverage the existing maven info (you can look at how that's accessed in the maven extension) or to look at leveraging whatever is native for git. this probably ends up flowing down into tools.gitlibs too.

sundbp20:04:57

I'm torn between using the git config as more logical, and the cost of 2 config actions required for the user. It is probably still my slight preference.

Alex Miller (Clojure team)21:04:10

make a list of the tradeoffs