From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from us-smtp-1.mimecast.com (us-smtp-1.mimecast.com [205.139.110.120])
 by mx.groups.io with SMTP id smtpd.web11.8119.1584047182934181290
 for <devel@edk2.groups.io>;
 Thu, 12 Mar 2020 14:06:23 -0700
Authentication-Results: mx.groups.io;
 dkim=pass header.i=@redhat.com header.s=mimecast20190719 header.b=SvBvXh72;
 spf=pass (domain: redhat.com, ip: 205.139.110.120, mailfrom: lersek@redhat.com)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com;
	s=mimecast20190719; t=1584047182;
	h=from:from:reply-to:subject:subject:date:date:message-id:message-id:
	 to:to:cc:cc:mime-version:mime-version:content-type:content-type:
	 content-transfer-encoding:content-transfer-encoding;
	bh=eSDTD7ICV0mw7RJeoiBa2przNr+MKd2rnwNUPbLK6pY=;
	b=SvBvXh72MWWAQR/SLgMmWbYyQDNl94nWZk3TC2GcwD7dtuaIumtSxopB1ziijS0OL/Rc/Y
	T547LV9umuZIWc5t70eo492k4+sElwvOd3qfUJ17mvwHFdrDuMvcYbIYSGazr5E4GNZB1M
	Ez24JVjyy57QHX1nCJXr/ovvOmLy+/k=
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-230-5_9EpQWrPqyNjkCIj_ga8g-1; Thu, 12 Mar 2020 17:06:20 -0400
X-MC-Unique: 5_9EpQWrPqyNjkCIj_ga8g-1
Received: from smtp.corp.redhat.com (int-mx01.intmail.prod.int.phx2.redhat.com [10.5.11.11])
	(using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits))
	(No client certificate requested)
	by mimecast-mx01.redhat.com (Postfix) with ESMTPS id 38AE01005512;
	Thu, 12 Mar 2020 21:06:19 +0000 (UTC)
Received: from lacos-laptop-7.usersys.redhat.com (ovpn-117-74.ams2.redhat.com [10.36.117.74])
	by smtp.corp.redhat.com (Postfix) with ESMTP id 5BC9F8FBEB;
	Thu, 12 Mar 2020 21:06:18 +0000 (UTC)
To: Michael Kinney <michael.d.kinney@intel.com>
Cc: edk2-devel-groups-io <devel@edk2.groups.io>,
 Sean Brogan <sean.brogan@microsoft.com>
From: "Laszlo Ersek" <lersek@redhat.com>
Subject: github PRs keep breaking for me
Message-ID: <f3139a13-cca4-1458-e306-57e32e603af2@redhat.com>
Date: Thu, 12 Mar 2020 22:06:17 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.9.1
MIME-Version: 1.0
X-Scanned-By: MIMEDefang 2.79 on 10.5.11.11
X-Mimecast-Spam-Score: 0
X-Mimecast-Originator: redhat.com
Content-Language: en-US
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit

Hi Mike,

(1) github stopped supporting my browser. I can no longer apply the push
label using my current browser. The "hub" cmdline utility does not seem
to support adding just a label to an existing PR.

(2) github closed my PR as a personal build (due to lack of the "push"
label), and now it even denies me the option to reopen the pull request.
I deleted and re-pushed the (identical) branch, which github noticed in
the PR, but it still wouldn't re-launch the CI build, or honor the
"push" label.

CI is good, but github+mergify have turned the merging of valid patch
series from a 3-second git-push command into repeated half-hour
nightmares. Sorry for the strong words, I'm livid.

Laszlo