> On 9. Jun 2021, at 03:07, tech-lists <tech-li...@zyxst.net> wrote: > > Hi, > > On Tue, Jun 08, 2021 at 04:52:43PM -0600, Warner Losh wrote: >> Top posting... >> >> You can do a 'git remote purge freebsd' to reset the branch names, then >> you'll be able to do a normal pull. > > This doesn't work for me. I use the anonssh method of updating the tree > > % git remote -v > origin ssh://anon...@git.freebsd.org/src.git (fetch) > origin ssh://anon...@git.freebsd.org/src.git (push) > > % gvs > srctree last updated: Wed Jun 9 02:19:47 2021 +0200 version: 245848 > > root@desktop:/root# cd /usr/src > > root@desktop:/usr/src# git version > git version 2.31.1 > > root@desktop:/usr/src# git checkout stable/13 > Already on 'stable/13' > Your branch is behind 'origin/stable/13' by 6922 commits, and can be > fast-forwarded. > (use "git pull" to update your local branch) > > root@desktop:/usr/src# git remote purge freebsd > error: Unknown subcommand: purge Try: git remote prune freebsd
Best regards Michael > usage: git remote [-v | --verbose] > or: git remote add [-t <branch>] [-m <master>] [-f] [--tags | --no-tags] > [--mirror=<fetch|push>] <name> <url> > or: git remote rename <old> <new> > or: git remote remove <name> > or: git remote set-head <name> (-a | --auto | -d | --delete | <branch>) > or: git remote [-v | --verbose] show [-n] <name> > or: git remote prune [-n | --dry-run] <name> > or: git remote [-v | --verbose] update [-p | --prune] [(<group> | > <remote>)...] > or: git remote set-branches [--add] <name> <branch>... > or: git remote get-url [--push] [--all] <name> > or: git remote set-url [--push] <name> <newurl> [<oldurl>] > or: git remote set-url --add <name> <newurl> > or: git remote set-url --delete <name> <url> > > -v, --verbose be verbose; must be placed before a subcommand > > -- > J.
