Re: Report: removing the inconsistencies in our CVS->git conversion

Alvaro Herrera <alvherre@commandprompt.com> writes:
> I think there's hardly much of interest in that branch, so it doesn't
> make sense to waste too much effort on it.  However, why would we delete
> it?  Just keep it with the manufactured tag and all -- so it is there,
> even if the history is not all that clean.  This _is_ an option, right?

That was pretty much my default position; I was just wondering if there
was a consensus to do something else.
        regards, tom lane