Re: [jboss-as7-dev] IMPORTANT - JBoss AS GitHub Repo Change