HAL master repo contains origin branch

[Dan Nicholson]

On 12/18/06, David Zeuthen <david at fubar.dk> wrote:
> 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.

I think. I'm pretty sure you can't do this from the remote side, but
I'm really no git guru. From the host side, though, you'd just do

GIT_DIR=/wherever/hal.git git branch -D origin

if it's a bare git repo. I'm willing to bet some of the fd.o admins
have a much better knowledge of git now that most of the projects are
using it.

--
Dan