Leif: >-----Original Message----- >From: devel@edk2.groups.io [mailto:devel@edk2.groups.io] On Behalf Of Leif >Lindholm >Sent: Friday, November 29, 2019 6:02 PM >To: Philippe Mathieu-Daudé <phi...@redhat.com> >Cc: devel@edk2.groups.io; Gao, Liming <liming....@intel.com>; >annou...@edk2.groups.io; Kinney, Michael D <michael.d.kin...@intel.com>; >Laszlo Ersek (ler...@redhat.com) <ler...@redhat.com>; af...@apple.com >Subject: Re: [edk2-devel] EDK II Stable Tag edk2-stable201911 will be created >based on commit bd85bf54c268204c7a698a96f3ccd96cd77952cd > >On Fri, Nov 29, 2019 at 10:52:33 +0100, Philippe Mathieu-Daudé wrote: >> On 11/29/19 9:22 AM, Liming Gao via Groups.Io wrote: >> > Hi, all >> > >> > Because edk2 project has applied Pull request and remove the write >> > access, I can’t push new Stable Tag edk2-stable201911 to GitHub edk2 >> > repo. I will ask help for Michael Kinney as soon as possible. >> >> This is unfortunate. Does that mean the CI system has to re-run and once >> successful push the tag? > >Not sure, that's why we need Mike :)
Doesn't need to run CI system. I need write access to push stable tag to github edk2 repo. So, I request Mike grant write access to me. > >Since bd85bf54c268204c7a698a96f3ccd96cd77952cd is already upstream, >we can anyway guarantee that no changes will happen and this will be >the commit tagged. > >> > Today, this stable tag edk2-stable201911 version is decided at >> > bd85bf54c268204c7a698a96f3ccd96cd77952cd. Stable tag will be created >> > before early of next week. Sorry for the late notice. Please be patient, >> > and enjoy Thanksgiving Day. >> >> Thanks for announcing it that way, since this doesn't block other projects >> pending of EDK2 releases! > >In fact, feel free to create this tag locally and start working >against it. It won't conflict once the tag appears upstream. > I got the access. edk2-stable201911 has been created. Thanks Liming >/ > Leif > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#51514): https://edk2.groups.io/g/devel/message/51514 Mute This Topic: https://groups.io/mt/64318209/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
