squash and merge, license documentation, "size" documentation

[Perry E. Metzger]

On Fri, 17 Aug 2018 22:15:38 -0700 Eitan Adler <lists at eitanadler.com>
wrote:
> On Fri, 17 Aug 2018 at 06:44, Perry E. Metzger <perry at 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		perry at piermont.com