[jbosstools-dev] Add http://maven.repository.redhat.com/ga/ to parent pom?

[Nick Boldt]

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