On 11/12/19 20:50, Kinney, Michael D wrote: > Hi Laszlo, > > The setting that is required is 'Watch' on the edk2 repo. > Navigate to the main page for the tianocore edk2 repo: > > https://github.com/tianocore/edk2 > > At the top of the page, there is a drop down called 'Watch'. > Select 'Watching - Be notified of all conversations.'
Thank you; it looks like I had this set already. (I sort of suspected that, but wanted to make sure I had the right config in place.) Cheers! Laszlo > GitHub documentation on this feature: > > https://help.github.com/en/github/receiving-notifications-about-activity-on-github/about-notifications#watching-notifications > > Best regards, > > Mike > >> -----Original Message----- >> From: Laszlo Ersek <ler...@redhat.com> >> Sent: Tuesday, November 12, 2019 12:56 AM >> To: devel@edk2.groups.io; Kinney, Michael D >> <michael.d.kin...@intel.com>; Sean Brogan >> <sean.bro...@microsoft.com>; Bret Barkelew >> <bret.barke...@microsoft.com>; Gao, Liming >> <liming....@intel.com> >> Subject: Re: [edk2-devel] EDK II Maintainers - EDK II >> CI is now active on edk2/master >> >> On 11/12/19 03:55, Michael D Kinney wrote: >>> EDK II Maintainers, >>> >>> EDK II CI Phase 1 feature is now active on >> edk2/master. >> >> Awesome! >> >>> >>> Please use a GitHub pull request from a branch in a >> personal fork of >>> the edk2 repository with a 'push' label to request a >> set of patches to >>> be pushed to edk2/master. The GitHub PR replaces the >> 'git push' >>> operation currently used to commit changes to >> edk2/master. >>> >>> You will need to configure your notifications from >> the edk2 repository >>> to make sure you receive email notifications when the >> checks against >>> the GitHub PR passes or fails. >> >> Can you please provide instructions for reaching those >> notification settings? >> >> (If there is a single "settings" URL that I have to >> open in my browser, while being logged in to my GitHub >> account, then sharing that URL here would be ideal.) >> >> Thanks! >> Laszlo >> >>> >>> If you submit a GitHub Pull Request without the >> 'push' >>> label, then the CI checks are run and the results are >> generated. >>> >>> Please let us know if there are any questions about >> this change in the >>> development process. >>> >>> Best regards, >>> >>> Mike >>> >>> >>> > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#50571): https://edk2.groups.io/g/devel/message/50571 Mute This Topic: https://groups.io/mt/53725670/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
