Re: [jboss-as7-dev] How do we clone https://docs.jboss.org/author/display/AS71/Documentation into https://docs.jboss.org/author/display/AS72/Documentation?