Stream: coqbot devs & users

Topic: Something unexpected happened: did not find merge comment af

view this post on Zulip Gaëtan Gilbert (May 11 2022 at 11:55):

https://github.com/coq/coq/pull/16005

view this post on Zulip Pierre-Marie Pédrot (May 11 2022 at 11:58):

I'm getting some 500 Errors in github

view this post on Zulip Théo Zimmermann (May 11 2022 at 11:59):

Hum, https://www.githubstatus.com/ doesn't report anything ongoing.

view this post on Zulip Théo Zimmermann (May 11 2022 at 12:00):

I'm going to look at the logs.

view this post on Zulip Théo Zimmermann (May 11 2022 at 12:07):

The logs are unfortunately pretty empty. I've executed manually the GraphQL request that coqbot executes and it's returning me the full list of comments, including the one with the ID provided through the webhook, so I'm assuming this is a transient problem. @Gaëtan Gilbert can you try again?

Last updated: Sep 28 2023 at 11:01 UTC