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

_______________________________________________
infinispan-dev mailing list
infinispan-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/infinispan-dev