Why is that bot even configured to close pull requests? It often takes months for some patches to get any attention here, so it seems counterintuitive.
-=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#120285): https://edk2.groups.io/g/devel/message/120285 Mute This Topic: https://groups.io/mt/107769007/21656 Group Owner: [email protected] Unsubscribe: https://edk2.groups.io/g/devel/unsub [[email protected]] -=-=-=-=-=-=-=-=-=-=-=-
