Re: TODO: Rename some /contrib modules from pg* to pg_*

"Andrew Dunstan" <andrew@dunslane.net> writes:
> Renaming directories is nasty in CVS no matter which way you look at it - it
> is one of the known bad limitations. You might preserve the history but you
> could also break every existing repo copy. See
> http://ximbiot.com/cvs/manual/cvs-1.11.15/cvs_7.html#SEC74

> Unless there is a *very* good reason this should be avoided.

I think the we-shouldn't-rename-the-shlibs argument is sufficient to
kill the idea, quite aside from CVS limitations.
        regards, tom lane