Hi all, When applying a pull request in Github (using the Big Green Button that says 'Merge Pull Request') this always creates a merge commit which is something that we generally don't like (I think ;) How people generally apply pull requests with a fast-forward for a cleaner commit history? Is there some handy command that people use for this? Cheers, David _______________________________________________ jboss-as7-dev mailing list jboss-as7-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/jboss-as7-dev

http://planet.jboss.org/post/merging_github_pull_requests On 08/24/2011 10:08 PM, David Bosschaert wrote: > Hi all, > > When applying a pull request in Github (using the Big Green Button that > says 'Merge Pull Request') this always creates a merge commit which is > something that we generally don't like (I think ;) > > How people generally apply pull requests with a fast-forward for a > cleaner commit history? Is there some handy command that people use for > this? > > Cheers, > > David > _______________________________________________ > jboss-as7-dev mailing list > jboss-as7-dev(a)lists.jboss.org > https://lists.jboss.org/mailman/listinfo/jboss-as7-dev