mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-22 15:02:25 +00:00
f1b46c3205
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
2 lines
41 B
Plaintext
2 lines
41 B
Plaintext
https://nobodyiii.github.io/genode-depot
|