> cherry pick 2d6b205 as well. Done, thanks!
> why not just do PR merge? Well I have a little `apply 123` shell function that applies PR 123 with `git am`, 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 ... -- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145007047
