[jbosstools-issues] [JBoss JIRA] (JBIDE-12507) migrate to git