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 -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#53833): https://edk2.groups.io/g/devel/message/53833 Mute This Topic: https://groups.io/mt/70994494/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
