also, each PR contains links below "merge using commandline" -- you could do those commands, except push, and do extra commits with git amend to the "merge" commit. then all features work:
1. you could do your amend, which be visible as diff of the "merge commit" 2. merge commit is there for github 3. original commits from reporter are unaltered -- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-145017539
