[jbosstools-issues] [JBoss JIRA] (JBIDE-12773) Create a jenkins.target and use it on CI

Create a jenkins.target and use it on CI ---------------------------------------- Key: JBIDE-12773 URL: https://issues.jboss.org/browse/JBIDE-12773 Project: Tools (JBoss Tools) Issue Type: Feature Request Components: Build/Releng, target-platform Reporter: Mickael Istria Assignee: Mickael Istria Fix For: 4.0.0.Beta1 Instead of relying on profiles to use the local mirror of TP, we could create and use a jenkins.target which would simply be a copy of unified.target, but using a different URL. Then jobs could use it, and we'd finally use target-platforms on CI! As soon as Tycho 0.16 is resolved, we can replace this hudson.target by Tycho repository mirroring.