Collaboration in the workspace
The docker workspace is made for collaboration. You can deploy this workspace on a server and use the management tools that we describe here to track contributions within the git commit system.
The user management is based on a GPG system and provides commands like
git add-user
, git import-user
and
git switch-user
commands. See Git user management for more
information.
Another tool that we use to foster collaboration is the git mob command. With this tool, you can mark commits as collaborative efforts of multiple users.