Re: When are the git servers available to obtain the ports tree?

On 2022-05-03 23:01:40 (+0800), Chris wrote:
> On 2022-05-03 00:48, Dave Cottlehuber wrote:
>> There's extensive debugging for git, and for HTTP, you
>> could try `GIT_CURL_VERBOSE=1` and see if that helps
>> identify problems.
>
> clusteradm was (is?) kind enough to try and pin it down. So
> we exchanged some info last night (mid day for them). I'll
> give your suggestion a try. Thanks.

I did some more testing.  The problem seems to be that the mirror you 
are using is struggling with its workload.  The machine is of an older 
generation and we're asking a lot of it.  New hardware for that mirror 
is on our radar.

Meanwhile, I'll try to find some time in the coming days to move the git 
mirror to another machine.  This is a tedious chore and prone to being 
preempted by more fun things to do.  Please poke me if it looks like 
I've forgotten.

>> If, for some reason, you really need to do a from-scratch
>> clone every time, it might be simpler to have a personal
>> mirror of just the /main/ branch on github or similar, and
>> avoid pulling the whole lot from the mirrors each time.
>
> While I *do* fetch the entire history. On average, I only ever
> do it at most, once a month. So I don't think it's unreasonable,
> or that I'm overloading the FreeBSD git services. ;-)

I agree that it's not unreasonable.

Thanks for reporting this problem.  The Git mirrors are still a 
comparatively new workload on the mirrors.  We clearly don't yet have 
enough monitoring in place to notice problems before users.

Philip

-- 
Philip Paeps
Senior Reality Engineer
Alternative Enterprises