[depot_autoremove] Removing outdated PGKs from the depot

Norman Feske norman.feske at genode-labs.com
Fri May 12 08:58:52 CEST 2023

Hi Alice,

On 2023-05-09 18:28, Alice Domage wrote:
> [...]
> It is handier to proceed with code review on GitHub. I will open an 
> issue [1] and mention it on my topic branch.
> I hope this is okay with you to move the conversation on GitHub.
> [1] https://github.com/genodelabs/genode/issues/4866

it's very good to see the continuation of this line of work. Your move 
of the discussion to GitHub is sensible. Thank you for sticking to the 
topic and for opening the issue.

With the upcoming Genode release in sight, I'm currently quite 
overloaded. Please bear with me if the review of your work takes a while.


Dr.-Ing. Norman Feske
Genode Labs

https://www.genode-labs.com · https://genode.org

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

More information about the users mailing list