Re: On what days are the git servers available to obtain the ports tree?

On 5/4/22 05:01, Andy Farkas wrote:
> 
> On 3/05/2022 9:07 am, Tatsuki Makino wrote:
>> To clean it up without cloning, we will have to make full use of the
>> following commands, which are listed here.
>>
>> # git stash push --all -- :/
>> # git stash pop
>> # git pull --autostash --rebase --prune --
>> # git reset --soft origin --
>> # git checkout HEAD -- :/
>> # git restore --source=HEAD --staged -- :/
>> # git clean -d --force -X -- :/
> 
> ....and to think in the old days we had to jump through hoops and type in:
> 
> # svnlitesync synchronize file://usr/svn/base svn://svn.freebsd.org/base
> 
How is that easier than "git pull"?

Thanks,
Jose