From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [63.128.21.124]) by mx.groups.io with SMTP id smtpd.web12.1135.1607972370491096716 for ; Mon, 14 Dec 2020 10:59:30 -0800 Authentication-Results: mx.groups.io; dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=StNdZ1fJ; spf=pass (domain: redhat.com, ip: 63.128.21.124, mailfrom: lersek@redhat.com) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1607972369; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references; bh=/A5Kb51xwUPijTm4I9jWzP0pfYu3y1L6omfFcDDv7pw=; b=StNdZ1fJPT5HV+mKk/UwpO/P5QlT/4fFMQd1melRk+JeLytKMpGrl4aFGgkbATpiXUnrhe ROaieJRNPPnDSLbg+AFw2RsGPbM0yx0lIg20adqX5UwK5yp3m6ayd7nX0ieJOA6IPdrxnL K0mEhPY/AHJ/YleGEne1v2CJ8OLnSD8= Received: from mimecast-mx01.redhat.com (mimecast-mx01.redhat.com [209.132.183.4]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-484-T5r2WcFGPsOR2of5N-mQjg-1; Mon, 14 Dec 2020 13:59:26 -0500 X-MC-Unique: T5r2WcFGPsOR2of5N-mQjg-1 Received: from smtp.corp.redhat.com (int-mx06.intmail.prod.int.phx2.redhat.com [10.5.11.16]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mimecast-mx01.redhat.com (Postfix) with ESMTPS id E4B9E84A5F2; Mon, 14 Dec 2020 18:59:21 +0000 (UTC) Received: from lacos-laptop-7.usersys.redhat.com (ovpn-113-107.ams2.redhat.com [10.36.113.107]) by smtp.corp.redhat.com (Postfix) with ESMTP id 1C89771CBA; Mon, 14 Dec 2020 18:59:16 +0000 (UTC) Subject: Re: [edk2-devel] EDK II CI failing - Do not submit PRs with "push" label set To: "Kinney, Michael D" , "devel@edk2.groups.io" , "bret.barkelew@microsoft.com" References: <2b5dbfa2-da26-4ba8-0221-8be8481ea97c@redhat.com> From: "Laszlo Ersek" Message-ID: <612a53f8-779b-e47a-d320-3a697494f6de@redhat.com> Date: Mon, 14 Dec 2020 19:59:16 +0100 MIME-Version: 1.0 In-Reply-To: X-Scanned-By: MIMEDefang 2.79 on 10.5.11.16 Authentication-Results: relay.mimecast.com; auth=pass smtp.auth=CUSA124A263 smtp.mailfrom=lersek@redhat.com X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: 7bit 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