<http://www.gentoo.org/proj/en/infrastructure/retire-process.xml>: | This process officially starts when Developer Relations CCes | infra-bugs@gentoo.org on the retirement bug and tells us to | retire the developer <http://www.gentoo.org/proj/en/devrel/undertakers/index.xml>: | state that on the bug and ask Infra to start retirement process). | Also make sure you change the Status Whiteboard to | infra-retire yyyy-mm-dd. Still infra-bugs@gentoo.org isn't CC'ed to the bugs in URL.
My bad. Thanks for the poke Torsten. I've cc'ed infra to all of the listed bugs.