HAL master repo contains origin branch

[Dan Nicholson]

Hi David,

I just noticed that the HAL git repo on fd.o has an origin branch.
Usually, the central repository is not supposed to contain this branch
as it is the master and is not tracking any remote development. I
can't find any documentation right now that says why exactly, but from
the git-clone help:

       --bare Make a bare GIT repository. That is, instead of creating
              <directory> and placing the administrative files in
              <directory>/.git, make the <directory> itself the $GIT_DIR. This
              implies -n option. When this option is used, neither the origin
              branch nor the default remotes/origin file is created.

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'.

--
Dan