I have a first git mirror of the full svn repository. It's not the actual version because I keep finding more things that I should have done, but one thing that I'm not sure about (and I can't really test given that I have zero experience with git) is the repository layout: whether it correctly identified tags and branches, and whether there are any other problems with it. In case there is anyone that has experience using git, I would appreciate testing out this repository and telling me if there's anything that needs fixing. You can get it from
http://tmp.barzilay.org/plt-git.tar [One thing that I know about is the git-svn bogus email addresses. I've found the way to make that work, so I started a new round of generating a mirror (it takes a good number of hours to do that...).] As for making the final result available, I think that practically anyone that I talked to said that pushing it to github is the best way to go. If anyone has any relevant info about that (or about hosting it locally from our machines), I'd be happy to hear. -- ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: http://barzilay.org/ Maze is Life! _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
