On Fri, 17 Aug 2018 at 06:44, Perry E. Metzger <pe...@piermont.com> wrote: > > As many of you are aware, I merge a significant fraction of the pull > requests these days. A few requests to make it easier, these three > things on their own represent a surprising fraction of the > communication I need to have with contributors: ...
As an FYI, unless the contributor disabled the option, you can push the branch of the PR. This way you could avoid some of the back and forth. -- Eitan Adler