[jbosstools-dev] jbosstools-target-platforms repo is too big / question about branches (was Re: Kepler M5 target platform sources have moved to a new github repo)