[jbosstools-dev] Add http://maven.repository.redhat.com/ga/ to parent pom?
Rob has requested a change to add a new repo to the list of maven repos
listed in the JBoss Tools parent pom.
PR: https://github.com/jbosstools/jbosstools-build/pull/192/files
JIRA: https://issues.jboss.org/browse/JBIDE-20190
If no one objects to this change, it'll be applied this week.
@max? @mickael? @denis? WYDT? Please +1 the PR if you approve.
--
Nick Boldt :: JBoss by Red Hat
Productization Lead :: JBoss Tools & Dev Studio
http://nick.divbyzero.com