Another issue is that we work with two branches, `maint` and `master`. PRs are always submitted against the "default branch" as configured in GitHub, and we then apply the PR'd commits to either of the two branches as we see fit. Merging the PR'd branch into the non-default branch won't work, of course ...
-- Reply to this email on GitHub: https://github.com/monitoring-plugins/monitoring-plugins/pull/1360#issuecomment-146453608
