<blockquote>
<p>cherry pick <a href="https://github.com/monitoring-plugins/monitoring-plugins/commit/2d6b20596fb86038a760ef29cbbc54fffca76bed" class="commit-link"><tt>2d6b205</tt></a> as well.</p>
</blockquote>

<p>Done, thanks!</p>

<blockquote>
<p>why not just do PR merge?</p>
</blockquote>

<p>Well I have a little <code>apply 123</code> shell function that applies PR 123 with <code>git am</code>, and then I often amend minor cleanups.  I like this workflow, and I think it's a feature that the committer is recorded without an empty merge commit.  But I know it's not the workflow envisioned by GitHub, and I know that people are unhappy if GitHub is unhappy, so i do consider changing the workflow one day ...</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br><a href="https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145007047">Reply to this email on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/AFQl2YBicQ4pY8ijxeM0d9nlggNdrMAZks5o3nL2gaJpZM4GH69f.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
  <link itemprop="url" href="https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145007047"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>