2 Commits

Author	SHA1	Message	Date
Martin Stein	c188f792b2	gems/sculpt: update mstein pubkey	2023-10-25 08:59:15 +02: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