<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Guys<div><br></div><div>Please *don't* use this when handling pull requests. &nbsp;This creates unnecessary merges (see attached screenshot) and a non-linear history.</div><div><br></div><div><img height="115" width="640" apple-width="yes" apple-height="yes" id="ce2693a8-baab-456c-8735-56a4b8aeafe1" src="cid:B03026D8-C574-4500-9D38-E272A39B33C0@redhat.com"></div><div><br></div><div>Use my handle_pull_request script on&nbsp;<a href="https://github.com/maniksurtani/githelpers">https://github.com/maniksurtani/githelpers</a>&nbsp;instead.</div><div><br></div><div>Cheers</div><div>Manik<br><div>
<div><div>--</div><div>Manik Surtani</div><div><a href="mailto:manik@jboss.org">manik@jboss.org</a></div><div><a href="http://twitter.com/maniksurtani">twitter.com/maniksurtani</a></div><div><br></div><div>Lead, Infinispan</div><div><a href="http://www.infinispan.org">http://www.infinispan.org</a></div><div><br></div></div><br class="Apple-interchange-newline">
</div>
<br></div></body></html>