seL4
Manage project permissions, including ownership transfer and collaborator access.
Badge Levels:
Permissions
-
Collaborator Management
(Advanced) What other users have additional rights to edit this badge entry? Currently: []
Project badge entry owned by:
Gerwin Klein.
Entry created on 2021-06-30 05:53:00 UTC, last updated on 2021-07-01 02:50:15 UTC. Last achieved passing badge on 2021-06-30 07:33:16 UTC.
Entry created on 2021-06-30 05:53:00 UTC, last updated on 2021-07-01 02:50:15 UTC. Last achieved passing badge on 2021-06-30 07:33:16 UTC.