Re: setting the push label at once, when opening a PR [was: SecurityPkg/DxeImageVerificationHandler: fix retval for "deny" policy]

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

On 02/05/20 17:16, Kinney, Michael D wrote:
> Hi Laszlo,
> 
> If I follow this link, I see the expected screen with the ability to set a label:
> 
> https://github.com/lersek/edk2/pull/new/smram_at_default_smbase_bz_1512_wave_1_v2_pull
> 
> If I type in the following URL from your screen shot, I also get the same screen with the ability to set a label:
> 
> https://github.com/tianocore/edk2/compare/master...lersek:smram_at_default_smbase_bz_1512_wave_1_v2_pull?expand=1
> 
> It also looks like you are logged into GitHub, so that does not appear to be the issue.
> 
> I also verified you are a member of EDK II Maintainers, so that does not appear to be the issue.
> 
> Can you try both of the links above again?

I've just done that, I even disabled uBlock Origin temporarily. No
change -- I still don't get the labels selection, under either link. And
I'm still logged in.

Perhaps the problem is that I don't have write access to the repo.

https://help.github.com/en/github/managing-your-work-on-github/labeling-issues-and-pull-requests
https://help.github.com/en/github/managing-your-work-on-github/applying-labels-to-issues-and-pull-requests

"In repositories where you have write access, you can assign labels to
issues and pull requests to help organize your projects."

(But then I don't understand why I'm permitted to set the "push" label
on an existent PR...)

Thanks
Laszlo