Re: [jbosstools-dev] Stacks github repo renamed, packages renamed