removing non-existing remote branch

[DasBlub]

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.

[freghar]

Simply read git-remote's manpage:

git remote prune upstream

[DasBlub]

thanks, that was it (haven't found it in manual, but maybe i looked at the wrong place )