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

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

-andyf