Re: [jboss-as7-dev] How to fast-forward a pull request in github?