[jbosstools-dev] How to use GitHub and SVN together?