[edk2-devel] ci problem

[Ard Biesheuvel]

On Thu, 8 Sept 2022 at 18:17, Michael D Kinney
<michael.d.kinney at 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/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-