[jbosstools-issues] [JBoss JIRA] (JBDS-3528) there are two reddeer and RedDeer in jbdevstudio-ci

there are two reddeer and RedDeer in jbdevstudio-ci --------------------------------------------------- Key: JBDS-3528 URL: https://issues.jboss.org/browse/JBDS-3528 Project: Developer Studio (JBoss Developer Studio) Issue Type: Bug Components: build Reporter: Max Rydahl Andersen Assignee: Mickael Istria Priority: Critical both {code} cache/https/jenkins.mw.lab.eng.bos.redhat.com/hudson/view/DevStudio/view/... {code} and {code} cache/https/jenkins.mw.lab.eng.bos.redhat.com/hudson/view/DevStudio/view/... {code} exist in https://github.com/jbdevstudio/jbdevstudio-ci/tree/master/cache/https/jen... causing it being impossible to actually to a PR against jbdevstudio-ci when you are on a case-insensitive filesystem (like OSX or Windows).