ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-04-23 18:34:02 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
14,037 Commits 2 Branches 71 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Stefan Kalkowski
ba97a676ad depot: update skalk's expired public key 2025-02-24 16:39:20 +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