guix-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: GitHub updater broken?


From: Ben Woodcroft
Subject: Re: GitHub updater broken?
Date: Fri, 13 Jan 2017 15:56:37 +1000
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.5.1

Hi Ludo,


On 11/01/17 00:37, Ludovic Courtès wrote:
Hi Ben,

The GitHub updater always returns 403 (“Forbidden”) now.  I tried
passing a token and that didn’t help, but maybe I did not check the
right boxes at <https://github.com/settings/tokens/new>.

Any idea what can be done about it?

It seems GitHub requires a User-Agent to be set, the response-body not reported by http-fetch says as much in agreement with the documention:
https://developer.github.com/v3/#user-agent-required

I'm afraid I'm afk for the next week and a bit, I can try to send a patch after that, or perhaps someone else can implement this probably small change.

Thanks, ben.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]