How to delete a remote branch

[Morgul]

Hi all.

I have a question. How can I delete a remote branch that I
accidentally pushed? The branch name is 'hacia611', It's a branch that
was intended for being local only since I do a lot of 'git rebase
master' to it, but it got pushed to Gitorious when I did a 'git push --
mirror origin'.

I've tried a 'git branch -r -d hacia611', but only seems to remove it
locally, not remotely. 'git remote prune origin' seems to not remove
it either.

Thank you all for this great service.

[Jacob Atzen]

git push repository :branch

--
Med venlig hilsen
- Jacob Atzen

[Morgul]

Thank you, the branch is deleted now.

On 26 jun, 14:00, "Jacob Atzen" <jat...@gmail.com> wrote:
> git push repository :branch