I usually merge pull-request that have small problems, then fix the remaining issues in batched maintenance commits. The alternative is to have people resubmit the pull-request, which turns into several days of comms when the author is external. I will look at this some time in the near future.