hi, my problem is, that when i've forked mangos there was the 303-willcrashforsure branch. now i deleted this branch in my own repo, but there is still the branch 'upstream/303-willcrashforsure' (upstream is mangos)...
how can i delete this branch? with 'git merge' it didn't worked, that just gave me the new remote branches (like '308').
here is what i tried:
$ git branch -a
303
* master
no_char_delete
origin/303
origin/HEAD
origin/master
origin/no_char_delete
upstream/303-willcrashforsure
upstream/308
upstream/mangos-0.12
upstream/master
$ git branch -d upstream/303-willcrashforsure
error: branch 'upstream/303-willcrashforsure' not found.