cannot git clone into /usr/ports when separate filesystem

[Marco Beishuizen]

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

> Normally, you should clone only once and use `git pull` afterwards, so 
> no problem here. Furthermore, if you don't really need git but just want 
> to keep your ports tree up to date, you might want to have a look at 
> net/gitup instead.
>
> It's probably still configured to use the Github mirror for ports, so 
> grab the new config file (using the repo on git.freebsd.org) from here: 
> <https://github.com/johnmehr/gitup/blob/main/gitup.conf>

I did clone it yesterday but today a git pull resulted in a corrupt file 
for some reason, so I decided to start over.

-- 
Every suicide is a solution to a problem.
 		-- Jean Baechler