[infinispan-dev] Using GitHub's AutoMerge button

[Manik Surtani]

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 at jboss.org
twitter.com/maniksurtani

Lead, Infinispan
http://www.infinispan.org



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.jboss.org/pipermail/infinispan-dev/attachments/20110509/cbb97ebf/attachment-0001.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen shot 2011-05-09 at 10.41.14.png
Type: image/png
Size: 94979 bytes
Desc: not available
Url : http://lists.jboss.org/pipermail/infinispan-dev/attachments/20110509/cbb97ebf/attachment-0001.png