mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-26 00:41:08 +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
25 B
Plaintext
2 lines
25 B
Plaintext
https://depot.genode.org
|