Re: [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 <mailto:manik@jboss.org> twitter.com/maniksurtani <http://twitter.com/maniksurtani> Lead, Infinispan http://www.infinispan.org _______________________________________________ infinispan-dev mailing list infinispan-dev(a)lists.jboss.org https://lists.jboss.org/mailman/listinfo/infinispan-dev