[jbosstools-dev] Update on svn-git mirroring