On 03/09/20 20:29, Laszlo Ersek wrote: > mergify.io didn't respond to my ticket
They have gotten back to me since; quote: On 03/09/20 14:10, Mehdi Abaakouk wrote: > We are aware of the issue and working on a fix. We recently implement > a Github recommendation about caching Github API HTTP call > (https://developer.github.com/v3/#conditional-requests). > > In some case, like yours, we query Github for retrieving check-runs > with the conditional-requests mechanism and it tells us our cache is > up to date while it's not. > > We have an almost ready change that will detect this case and > invalidate manual our cache. > > In the meantime we have disable this cache. and: On 03/09/20 16:06, Julien Danjou wrote: > This was a caching issue on our side with GitHub. > We resolved this earlier today, so you shouldn't see this kind of > "lag" anymore. My faith in mergify.io is restored, at least. I'm still worried that we're using a system-under-development for gating reviewed and CI-clean patches. Thanks Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#55694): https://edk2.groups.io/g/devel/message/55694 Mute This Topic: https://groups.io/mt/53725670/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
