If this is agreeable to everyone I would be very happy to help you to setup a script. Maybe we could use SVK to checkout the sources to a working copy of the Google repository. SVK only copies the source files and not the svn admin files. Then we can run a commit to update Google with this "snapshot" of the sources. Does that make sense to you?
Yeah I forgot about the size of the history. I am not sure how Tim keeps git/svn in sync. If he uses git-svn maybe the same can be done with it. The google repository is now clean again. Regards, Alfredo _______________________________________________ Axiom-developer mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/axiom-developer
