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

[David Bosschaert]

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