[depot_autoremove] Removing outdated PGKs from the depot

[Norman Feske]

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.

Cheers
Norman

-- 
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