Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.vscoq-language-server 2.2.6 -> 2.4.3 https://github.com/rocq-prover/vsrocq/releases attrpath: coqPackages.vscoq-language-server Checking auto update branch... No auto update branch exists HTTPError (HttpExceptionRequest Request { host = "api.github.com" port = 443 secure = True requestHeaders = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","")] path = "/search/issues" queryString = "?q=repo%3Anixos%2Fnixpkgs%20coqPackages.vscoq-language-server%3A%202.2.6%20-%3E%202.4.3" method = "GET" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutDefault requestVersion = HTTP/1.1 proxySecureMode = ProxySecureWithConnect } (StatusCodeException (Response {responseStatus = Status {statusCode = 503, statusMessage = "Service Unavailable"}, responseVersion = HTTP/1.1, responseHeaders = [("Cache-Control","no-cache"),("Content-Type","text/html; charset=utf-8"),("Strict-Transport-Security","max-age=31536000; includeSubDomains; preload"),("X-Content-Type-Options","nosniff"),("X-Frame-Options","deny"),("X-XSS-Protection","0"),("Content-Security-Policy","default-src 'none'; style-src 'unsafe-inline'; img-src data:;"),("X-RateLimit-Limit","30"),("X-RateLimit-Remaining","29"),("X-RateLimit-Reset","1784240722"),("X-RateLimit-Used","1"),("X-RateLimit-Resource","search"),("X-GitHub-Request-Id","8654:30F007:9F730FF:963432F:6A595A16"),("connection","close")], responseBody = (), responseCookieJar = CJ {expose = []}, responseClose' = ResponseClose, responseOriginalRequest = Request { host = "api.github.com" port = 443 secure = True requestHeaders = [("User-Agent","github.hs/0.28.0.1"),("Accept","application/vnd.github.v3+json"),("Authorization","")] path = "/search/issues" queryString = "?q=repo%3Anixos%2Fnixpkgs%20coqPackages.vscoq-language-server%3A%202.2.6%20-%3E%202.4.3" method = "GET" proxy = Nothing rawBody = False redirectCount = 10 responseTimeout = ResponseTimeoutDefault requestVersion = HTTP/1.1 proxySecureMode = ProxySecureWithConnect } }) "\r\n\r\n\r\n \r\n Unicorn! · GitHub\r\n \r\n \r\n \r\n\r\n
\r\n

\r\n