Stream: coqbot devs & users

Topic: errors


view this post on Zulip Jason Gross (Nov 18 2022 at 23:30):

What's up with 18 Nov 2022 18:29:27.783212 <190>1 2022-11-18T23:29:27.267591+00:00 app web.1 - - Error while posting a comment: Server responded to GraphQL request with errors: Resource not accessible by integration?

view this post on Zulip Jason Gross (Nov 18 2022 at 23:41):

And again 18 Nov 2022 18:36:20.241212 <190>1 2022-11-18T23:36:19.806366+00:00 app web.1 - - Error while posting a comment: Server responded to GraphQL request with errors: Resource not accessible by integration

view this post on Zulip Théo Zimmermann (Nov 20 2022 at 11:28):

This likely means some new restrictions have been put in place by GitHub (if this is a request that used to work). Can you give me more info on the context? Do you know which GraphQL request was rejected like this?

view this post on Zulip Jason Gross (Nov 21 2022 at 17:55):

It was the request to post a "minimization in progress" comment, and I think the failure is intermittent

view this post on Zulip Théo Zimmermann (Nov 21 2022 at 17:57):

OK, maybe it was a GitHub issue.


Last updated: Dec 01 2023 at 07:01 UTC