The full lists.01.org history was imported into groups.io. Stephano did a great job working with groups.io to make that happen.
Mike > -----Original Message----- > From: Rebecca Cran <rebe...@bsdio.com> > Sent: Friday, March 17, 2023 3:58 AM > To: Gerd Hoffmann <kra...@redhat.com>; devel@edk2.groups.io > Cc: Kinney, Michael D <michael.d.kin...@intel.com>; Marvin Häuser > <mhaeu...@posteo.de> > Subject: Re: [edk2-devel] [edk2-platforms] Enable GitHub PR, protected > branches, and 'push' label > > Sorry, it might be the sourceforge mailing list that got lost, not > lists.01.org. I was wanting to see the review of the following commit, > but Google isn't finding anything: > > > commit a61331e8b78ba264f0ccd011b6dc5b9e809730a5 > Author: Liming Gao <liming....@intel.com> > Date: Mon Aug 22 14:32:23 2016 +0800 > > BaseTools GnuMakefile: Update GCC Flags to the specific one with > BUILD_ prefix > > > > On 3/17/23 4:48 AM, Rebecca Cran wrote: > > Talking about mailing lists, I'm still disappointed that we lost so > > much history of discussion and reviews around the project when the > > edk2-devel archive at lists.01.org was deleted. > > > > I've sometimes wanted to go back and take a look at the review history > > of a certain commit only to find it's been lost. > > > > -=-=-=-=-=-=-=-=-=-=-=- Groups.io Links: You receive all messages sent to this group. View/Reply Online (#101350): https://edk2.groups.io/g/devel/message/101350 Mute This Topic: https://groups.io/mt/97636248/21656 Group Owner: devel+ow...@edk2.groups.io Unsubscribe: https://edk2.groups.io/g/devel/leave/9847357/21656/1706620634/xyzzy [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
