Gaëtan Gilbert (Mar 24 2022 at 13:30): Gaëtan Gilbert (Mar 24 2022 at 13:30):https://github.com/coq/coq/pull/15847#issuecomment-1077628233
Théo Zimmermann (Mar 24 2022 at 13:35):I'm having a look.
Théo Zimmermann (Mar 24 2022 at 13:36):It looks like GitHub didn't deliver any webhook...
Théo Zimmermann (Mar 24 2022 at 13:36):And yet, https://www.githubstatus.com/ reports all green.
Ali Caglayan (Mar 24 2022 at 13:42):I guess we are seeing the Webhook performance degrading in real time
Théo Zimmermann (Mar 24 2022 at 13:43):Is it just bad luck that Gaëtan's "coqbot merge now" are ignored?
Théo Zimmermann (Mar 24 2022 at 13:43):Can you try one more time Gaëtan?
Ali Caglayan (Mar 24 2022 at 13:44):Nice it worked
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.
Ali Caglayan (Mar 24 2022 at 13:54):https://github.blog/2022-03-23-an-update-on-recent-service-disruptions/
Ali Caglayan (Mar 24 2022 at 13:56):GitHub just having a bad week it seems.
Gaëtan Gilbert (Mar 24 2022 at 18:47):more missing hooks? https://github.com/coq/coq/pull/15807#issuecomment-1077924737
Last updated: May 28 2023 at 18:29 UTC