Re: git: uh-oh

Robert Haas <robertmhaas@gmail.com> writes:
> I just looked at your latest conversion (based on what Max did) and it
> looks a lot better.  I think, though, that we should re-remove these
> branches:

>   origin/unlabeled-1.44.2
>   origin/unlabeled-1.51.2
>   origin/unlabeled-1.59.2
>   origin/unlabeled-1.87.2
>   origin/unlabeled-1.90.2

I haven't looked at Magnus' latest iteration, but in Max's version
this was showing as a branch:
 remotes/origin/REL8_0_0

AFAIK that was simply a mistake: it was intended to be a tag not a
branch.  If it's feasible to downgrade it to a tag during the
conversion, that would be a good thing to do.
        regards, tom lane