Re: EDK II CI failing - Do not submit PRs with "push" label set
Michael D Kinney
Hi Laszlo,
toggle quoted messageShow quoted text
I used the following comments to ask Mergify to re-evaluate the status. The PR has been merged. @Mergifyio refresh https://docs.mergify.io/commands.html Mike
-----Original Message-----
|
|