Guys
Please *don't* use this when handling pull requests. This creates unnecessary merges (see attached screenshot) and a non-linear history.
Use my handle_pull_request script on
https://github.com/maniksurtani/githelpers
instead.
Cheers
Manik
--
Manik Surtani
manik@jboss.org
twitter.com/maniksurtani
Lead, Infinispan
http://www.infinispan.org