[infinispan-dev] Using GitHub's AutoMerge button
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(a)jboss.org
twitter.com/maniksurtani
Lead, Infinispan
http://www.infinispan.org
Attachments:
- Screenshot2011-05-09at10.41.14.png (image/png — 92.8 KB)
- attachment.html (text/html — 1.1 KB)
