Fix doc (svn -> git)

I guess svn is not used any more.