cannot git clone into /usr/ports when separate filesystem

[Marco Beishuizen]

On Tue, 6 Apr 2021, the wise Felix Palmen wrote:

> Where did you clone from? The official repo is only available for a few
> hours now. So, if you cloned from a mirror (Github, Gitlab, …?), some
> breakage with the transition seems plausible.
>
> Ah, please no CC, thanks.

>From https://git.freebsd.org/ports.git.
It's up since yesterday. Cloning after totally emptying /usr/ports worked 
fine, but today git complained about corrupt files in the .git 
subdirectory so I decided to start over again.

Regards,
Marco

-- 
Thrashing is just virtual crashing.