Re: [jbosstools-dev] Modeshape tools sources in JBoss Tools' SVN repo in trunk :: after moving to github, can we delete them?