Add an user

On a server (pmp-dev)

sudo useradd --create-home --user-group --shell /bin/bash --groups datalab32,docker <user>
mkdir -p ~/.ssh && touch ~/.ssh/authorized_keys && chmod -R go= ~/.ssh
sudo loginctl enable-linger <user>

Then you have to add the public key sent by the user to his authorized_keys

Finally you have to refresh the rights. (script inside /home/ folder)

Nginx services

You have to update le NGINX config and deploy it to create certificates for user services. Follow the readme.

On gitlab

Invite the user to the pmp-gitlab-user group. It will give him access to all groups of PMP.