On Thu, 8 Sept 2022 at 18:17, Michael D Kinney <michael.d.kin...@intel.com> wrote: > > Hi Ard, > > I saw this message from Mergify for the first time yesterday in a different > sandbox. > > I will try closing the old PR and request Mergify to refresh the new one. >
Ah right, I should have closed the old one - that makes sense. -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#93533): https://edk2.groups.io/g/devel/message/93533 Mute This Topic: https://groups.io/mt/93551909/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
