[ https://issues.jboss.org/browse/JBIDE-20130?page=com.atlassian.jira.plugi... ] Nick Boldt edited comment on JBIDE-20130 at 6/19/15 2:09 PM: ------------------------------------------------------------- Once the mirror is pulled to dev01, I can push it to http://download.jboss.org/jbosstools/updates/requirements/mars/2015061810... THEN, we can merge this: https://github.com/jbosstools/jbosstools-discovery/pull/283 AND FINALLY, we can rebuild these: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/jbosstoolstargetplat... https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/jbosstools-centralta... was (Author: nickboldt): Once the mirror is pulled to dev01, I can push it to dl.jb.org, and we can merge this: https://github.com/jbosstools/jbosstools-discovery/pull/283 THEN, we can rebuild these: https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/jbosstoolstargetplat... https://jenkins.mw.lab.eng.bos.redhat.com/hudson/job/jbosstools-centralta... -- This message was sent by Atlassian JIRA (v6.3.15#6346)