4 Commits

Author	SHA1	Message	Date
Benjamin Lamowski	515bd3263f	sculpt/depot: add depot user atopia ... Issue #5356	2024-10-30 08:14:55 +01:00
Martin Stein	c188f792b2	gems/sculpt: update mstein pubkey	2023-10-25 08:59:15 +02:00
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