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.

• Git user management
  • Disable user management
  • Command Overview
  • User management commands
  • User information commands
  • Other management commands
• Using git mob to manage coauthors