HAL master repo contains origin branch

[David Zeuthen]

On Fri, 2006-12-15 at 16:31 -0800, Dan Nicholson wrote:
> Not a big deal, but it's kind of confusing to see both master and
> origin branches in gitweb. You can git rid of it with `git-branch -D
> origin'.

Yea, getting rid of this would be good, it's also spamming the
hal-commit mailing list. Would I need someone to do this on the server
hosting the repo? Thanks.

     David