Reputation: 526
I'd like to remove a branch that was created during a conflict on remote:
git branch -r
origin/master
origin/master_SPITFIREMKV_Jun-26-221715-2020_Conflict
I tried variations of
git push origin --delete master_SPITFIREMKV_Jun-26-221715-2020_Conflict
But it always returns the following error:
error: unable to delete 'master_SPITFIREMKV_Jun-26-221715-2020_Conflict': remote ref does not exist
error: failed to push some refs to '...'
Thanks a lot for your help!
Upvotes: 0
Views: 364
Reputation: 76459
The branch you wanted to delete is already deleted on the remote side, but the remote tracking branch still exists. To fix that, you can run git fetch --prune origin
, which will remove local tracking branches for the remote that no longer exist upstream.
Upvotes: 3