Robert Haas <robertmhaas@gmail.com> wrote:
> It would result in a massive merge commit and the duplication of
> the entire history.
Ah, well, if the two repositories don't share the same IDs, it a
clear no-go. Now that I think about it, it would be a bit much to
expect those to match on independent conversions from CVS.
How is this going to play out when we do the "official" conversion
to git? Will those of us on repositories based off of
git.postgresql.org be faced with similar issues, or are we using the
repo there as the base for the conversion?
-Kevin