<div dir="ltr"><div dir="ltr"><br></div><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Nov 1, 2020 at 6:41 PM Rob Browning <<a href="mailto:rlb@defaultvalue.org">rlb@defaultvalue.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Alex Miller <<a href="mailto:alex@puredanger.com" target="_blank">alex@puredanger.com</a>> writes:<br>
<br>
> jgit has still not been updated in the tools deps tree. It's not a<br>
> straightforward upgrade (would probably switch from jsch to apache mina as<br>
> well) and we continue to contemplate swapping it for shelling out to git<br>
> which has been spiked out. At some point, I'll have some cycles to focus on<br>
> this but not sure when.<br>
<br>
Hmm, if do end up with time to work on the clj deps (i.e. jgit), I<br>
wondered if there was a chance that it might be more helpful for me to<br>
try to assist with the "external git" work (if that's something that<br>
could actually use help).<br></blockquote><div><br></div><div>We have a working external git fork, just needs some time looking at the tradeoffs, so not really any code work to do, just attention and decision-making.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
Though I suppose possibly not, at least for bullseye, if a newer clj<br>
would be pulling a lot of other additional deps that we don't have<br>
packaged yet.<br></blockquote><div><br></div><div>Deps have been updated, but not sure what the delta is vs whatever older version you're comparing to.</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br>
And I'm not sure it's relevant, but I have some experience with git<br>
communications by way of bup, though I'm guessing that clj might not<br>
need "git as a server" (via cat-file --batch, etc.), so that might not<br>
matter much.<br></blockquote><div><br></div><div>Nope, no server stuff.</div></div></div>