Bernie Innocenti wrote:
I won't re-create the repository from scratch, then.
re-creating it from scratch should be fine as long as the metadata uses svn+ssh://gcc.gnu.org/svn/gcc. I'd think that
git svn clone -s file://path/to/svn/root \ --rewrite-root=svn+ssh://gcc.gnu.org/svn/gcc would be the way to go. Jason
