Stream: coqbot devs & users

Topic: coqbot not firing?


view this post on Zulip Gaëtan Gilbert (Mar 24 2022 at 13:30):

https://github.com/coq/coq/pull/15847#issuecomment-1077628233

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:35):

I'm having a look.

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:36):

It looks like GitHub didn't deliver any webhook...

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:36):

And yet, https://www.githubstatus.com/ reports all green.

view this post on Zulip Ali Caglayan (Mar 24 2022 at 13:42):

I guess we are seeing the Webhook performance degrading in real time

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:43):

Is it just bad luck that Gaëtan's "coqbot merge now" are ignored?

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:43):

Can you try one more time Gaëtan?

view this post on Zulip Ali Caglayan (Mar 24 2022 at 13:44):

Nice it worked

view this post on Zulip Théo Zimmermann (Mar 24 2022 at 13:49):

In fact, your first comment also didn't trigger any delivery so the webhook was completely blocked for a few minutes and then started delivering again.

view this post on Zulip Ali Caglayan (Mar 24 2022 at 13:54):

https://github.blog/2022-03-23-an-update-on-recent-service-disruptions/

view this post on Zulip Ali Caglayan (Mar 24 2022 at 13:56):

GitHub just having a bad week it seems.

view this post on Zulip Gaëtan Gilbert (Mar 24 2022 at 18:47):

more missing hooks? https://github.com/coq/coq/pull/15807#issuecomment-1077924737


Last updated: Jan 31 2023 at 10:01 UTC