Re: [jbosstools-dev] Update on svn-git mirroring