On 2021-01-05 03:49, Mathieu Arnold wrote:
On Mon, Jan 04, 2021 at 08:04:32PM -0800, Chris wrote:
I don't use Github. So I'm not familiar with their service(s).
But ports using source fetched from them always return:
size of remote file is not known
Is it that their servers simply refuse to retu
On Mon, Jan 04, 2021 at 08:04:32PM -0800, Chris wrote:
> I don't use Github. So I'm not familiar with their service(s).
> But ports using source fetched from them always return:
> size of remote file is not known
> Is it that their servers simply refuse to return size/content-length
> or is this so
I don't use Github. So I'm not familiar with their service(s).
But ports using source fetched from them always return:
size of remote file is not known
Is it that their servers simply refuse to return size/content-length
or is this something else?
I can see where this might turn into a problem for
