Mickael Istria created JBIDE-15298: -------------------------------------- Summary: Mirror Gemini repository Key: JBIDE-15298 URL: https://issues.jboss.org/browse/JBIDE-15298 Project: Tools (JBoss Tools) Issue Type: Feature Request Reporter: Mickael Istria -- This message is automatically generated by JIRA. If you think it was sent incorrectly, please contact your JIRA administrators For more information on JIRA, see: http://www.atlassian.com/software/jira