Reputation:
I have been extensively looking for this, but none of the online replies worked for me.
I have a git repo, on local I have only the master branch
% git branch
* master
however, a number of old branches are left on the remote
% git branch -a
* master
remotes/origin/HEAD -> origin/master
remotes/origin/check
remotes/origin/abort
How can I delete them for good ? git remote prune origin
and git fetch origin --prune
do not work.
Upvotes: 0
Views: 28