Fork me on GitHub
#tools-deps
<
2019-03-30
>
sundbp20:03:08

Thanks. That’s indeed the relevant issue. bootstrapping the JGit proxy settings to be consistent with either maven settings, or with git settings (https://gist.github.com/evantoli/f8c23a37eb3558ab8765) sounds logical.