user2138251
user2138251

Reputation:

Old branches on remote cannot be deleted

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

Answers (0)

Related Questions