[jbosstools-issues] [JBoss JIRA] (JBIDE-15298) Mirror Gemini repository

[Paul Richardson (JIRA)]

    [ https://issues.jboss.org/browse/JBIDE-15298?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12928167#comment-12928167 ] 

Paul Richardson commented on JBIDE-15298:
-----------------------------------------

I think the other plugins that were going to be included in locus or maybe the integration stack required use of the gemini project. It was while running teiid that we first noticed the errors about missing aries plugins. How the projects that do depend on gemini have got around such dependencies, I don't know.
                
> Mirror Gemini repository
> ------------------------
>
>                 Key: JBIDE-15298
>                 URL: https://issues.jboss.org/browse/JBIDE-15298
>             Project: Tools (JBoss Tools)
>          Issue Type: Feature Request
>          Components: target-platform
>            Reporter: Mickael Istria
>
> In order to provide necessary dependencies for Teiid, we should mirror the Gemini update-site to download.jboss.org: http://download.eclipse.org/gemini/updates/management/2.0.0.RELEASE

--
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