[edk2-devel] EDK II CI failing - Do not submit PRs with "push" label set

[Laszlo Ersek]

On 12/14/20 18:30, Kinney, Michael D wrote:
> Hi Laszlo,
> 
> I used the following comments to ask Mergify to re-evaluate the status.  The PR has been merged.

Thank you!

> 
>     @Mergifyio refresh
> 
> https://docs.mergify.io/commands.html

Meh, I'm sure you've told me about this before, likely several times.
I'm sorry for not remembering it! :(

Laszlo



-=-=-=-=-=-=-=-=-=-=-=-
Groups.io Links: You receive all messages sent to this group.
View/Reply Online (#68808): https://edk2.groups.io/g/devel/message/68808
Mute This Topic: https://groups.io/mt/78873999/1813853
Group Owner: devel+owner at edk2.groups.io
Unsubscribe: https://edk2.groups.io/g/devel/unsub [edk2-devel-archive at redhat.com]
-=-=-=-=-=-=-=-=-=-=-=-