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