Gaëtan Gilbert (Nov 05 2020 at 10:32): Gaëtan Gilbert (Nov 05 2020 at 10:32):What does it mean? It feels like it's been more common in the last ~week
Théo Zimmermann (Nov 05 2020 at 13:38):Indeed, it looks like this is becoming more common.
Théo Zimmermann (Nov 05 2020 at 13:38):It happens when various GitHub databases are in an inconsistent state.
Théo Zimmermann (Nov 05 2020 at 13:38):The webhook is delivered to coqbot but when coqbot looks for the merge comment through a GraphQL request, it doesn't find it.
Théo Zimmermann (Nov 05 2020 at 13:39):I have reached out to GitHub support who has answered that they are aware of the issue, are working on fixing it, but this is not going to happen soon, so I should implement a workaround (a repeat procedure with a delay).
Théo Zimmermann (Nov 05 2020 at 13:40):Since it's becoming so frequent, I'll work on implementing this workaround ASAP.
Last updated: May 28 2023 at 18:29 UTC