ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2024-12-24 15:56:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
12,011 Commits 2 Branches 70 Tags 87 MiB
014066f15b
Commit Graph

2 Commits

Author SHA1 Message Date
Norman Feske
1d5fc3ef60 sculpt/depot: remove depot user trimpim 
Fixes #4754
 2023-02-27 08:22:47 +01:00
Norman Feske
f1b46c3205 Move depot keys to repos/gems/sculpt/depot 
This change keeps the version-controlled 'pubkey' and 'download' files
separate from files generated via depot/create or downloaded via
depot/download. So one can remove the entire depot/ directory without
interfering with git.

Furthermore, depot keys can now be hosted in supplemental repositories
independent from Genode's main repository.

Fixes #4364
 2022-01-19 12:35:49 +01:00