On Fri, 17 Aug 2018 22:15:38 -0700 Eitan Adler <li...@eitanadler.com> wrote: > 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.
It's a heck of a lot more work to do that, and I often have fairly little time for this, sadly. It's much easier to tell someone (for example) to add the size field than it would be for me to check out the repo, edit, and push. What I was hoping was that "port lint" would catch more of these things (bad license names, missing fields, etc.) so that people would know on their own that there was something wrong. Having a human detect these things isn't optimal anyway. Perry -- Perry E. Metzger pe...@piermont.com
