How do I set privileges for users on the server?

Privileges are set on users per repository. A user on the server can thereby have different privileges in different repositories. To set privileges for a user on the server, you need to do the following:

1. Log in to the server and go to the tab "Users and permissions".
2. Fold out the tab "Repositories".
3. Fold out the tab for the repository where you want to set the privileges for the user.
4. Fold out the tab "Access".
5. Click on the user where you want to set privileges. 
6. Check the privileges the user is supposed to have in that repository.