<blockquote>
<p>yes, without doing merge commits, i cannot figure out from the commit itself that it <a href="https://github.com/monitoring-plugins/monitoring-plugins/commit/a9b02e7affe6d940e1fb4830156d06e4d816458b" class="commit-link"><tt>a9b02e7</tt></a> came from this pull request: <a href="https://github.com/monitoring-plugins/monitoring-plugins/pull/1360" class="issue-link" title="drop superfluous libexecdir">#1360</a></p>
</blockquote>

<p>That's what I meant above when I said that this is "not the workflow envisioned by GitHub".</p>

<blockquote>
<p>you could [do stuff].</p>
</blockquote>

<p>As I said I do consider changing my workflow to make GitHub users happy.</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-145018569">Reply to this email on GitHub</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/AFQl2Ws0WQ-M8fL0SBwDTFJBzoVQrzvyks5o3nwRgaJpZM4GH69f.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-145018569"></link>
  <meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>