Hi eliot, I wanted to know if there is a particular reason that you use svn over git? Since it is quite a hassle each time to merge the svn history to the git repos, which I think is a bit of useless repetitive work which could be avoided. I think it would be nice if you could switch to git as well, actually there is not much difference to svn, and with some nice macros you can make behave almost the same...
best regards, camillo
