On 11/12/19 03:55, Michael D Kinney wrote: > Please let us know if there are any questions about this > change in the development process.
What is the recommended way to report issues with the mergify (not CI) infrastructure? Mergify hasn't been picking up ready-to-merge branches (with CI passed and the "push" label set). https://github.com/tianocore/edk2/pull/427 https://github.com/tianocore/edk2/pull/428 https://github.com/tianocore/edk2/pull/430 I've filed a ticket with github (#592107) and emailed <supp...@mergify.io> too. But, the github ticket number doesn't seem useful (there is not a "case" that I could overview, or share with others, using the ticket number), and mergify.io don't seem to have generated even a ticket number for me. Both github.com and mergify.io claim to have 100% service level at the moment: - https://www.githubstatus.com/ "All Systems Operational" - https://www.notion.so/Mergify-Status-Page-7803a762235d4ee6bed1f9976d17bd83 "Dashboard Operational", "Engine Operational" In the absence of github / mergify feedback, it would be nice if at least stewards could manually merge such topic branches that have passed CI. Thanks Laszlo -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#55664): https://edk2.groups.io/g/devel/message/55664 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] -=-=-=-=-=-=-=-=-=-=-=-
