[jbosstools-issues] [JBoss JIRA] (JBIDE-23036) Move Docker/Vagrant Tooling from target platform to jbosstools-openshift pom dependency

Move Docker/Vagrant Tooling from target platform to jbosstools-openshift pom dependency --------------------------------------------------------------------------------------- Key: JBIDE-23036 URL: https://issues.jboss.org/browse/JBIDE-23036 Project: Tools (JBoss Tools) Issue Type: Bug Components: build, docker, openshift, target-platform Affects Versions: 4.4.1.AM3 Reporter: Nick Boldt Assignee: Nick Boldt Fix For: 4.4.1.Final In order to support faster updates to Docker Tooling and to get those changes more frequently into the jbosstools-openshift builds, we should do for Docker Tooling what we did for Tern/Angular: * document how to perform regular mirrors of the nightly site onto http://download.jboss.org/jbosstools/updates/requirements/docker (using Jenkins job to pull mirror) * remove docker/vagrant tooling from target platform * add docker/vagrant mirror site into jbosstools-openshift/pom.xml, with comments/instructions