Re: [edk2-devel] github PRs keep breaking for me

["Laszlo Ersek" <lersek@redhat.com>]

Hi,

On 03/12/20 22:57, Michael D Kinney wrote:

> The hub command is very flexible.  What commands did you try?

github again failed to accept the "push" label when I tried to set it.

Unlike last time, the push label *is* offered to me in the small widget
to the right. When I click the label, it even gets a check mark.
However, the label isn't actually applied to the PR. No comment saying
"lersek set the 'push' label now" is generated, and the push label is
not displayed to the right, once the small search widget is closed.

I tried both the WebUI:

  https://github.com/tianocore/edk2/pull/672

and then the "hub" utility (with "--labels push"):

  https://github.com/tianocore/edk2/pull/673

In either case, the "push" label didn't take.

Frustrating.

> I want to root cause this issue.  I suspect it is more related
> to Mergify than GitHub or Azure Pipelines.  There is a state 
> machine that is watching statuses and the sequence of actions
> you are using must be going into a state I did not test.
> Are you able to provide the sequences of steps that got the
> PR into a bad state and the approximate time between steps?

I'm quite certain this is not related to mergify, as mergify's role
would be in the end, when all the checks pass. Mergify correctly
interprets the absence of the "push" label. The problem is that github
does not add the label, in spite of my actions.

Thanks
Laszlo