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:
1. We have squash and merge disabled. This means that I
On Fri, Aug 17, 2018 at 09:44:47AM -0400, Perry E. Metzger 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 co
Hi Perry,
> On Aug 17, 2018, at 7:44 AM, Perry E. Metzger wrote:
>
> 3. There's no real documentation of the "size" parameter to
> checksums, and I'm constantly asking people to add the size. Note
> that I don't think "size" is a reasonable thing to require given that
> finding two files of the
Hi Perry,
On Fri, Aug 17, 2018 at 09:44:47AM -0400, Perry E. Metzger wrote:
> As many of you are aware, I merge a significant fraction of the pull
> requests these days.
Thanks!
> 1. We have squash and merge disabled. This means that I often have to
> coach people through doing the squash on the
On Aug 17, 2018, at 15:06, Clemens Lang wrote:
> I think the idea of the size keyword is to start to use it to display
> download progress bars for servers that do not send a Content-Length
> HTTP header (or do not have an equivalent of such a header due to the
> used protocol). This is current
On Fri, 17 Aug 2018 at 06:44, Perry E. Metzger 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 contr
