Merge branch 'laurent.heirendt-develop-patch-54412' into 'develop'

Update URL to gitlab server

See merge request !257

external/contribute/mirror-fork/mirror-fork.md

@@ -11,20 +11,20 @@ redirect_from:
 In order to keep your fork up-to-date automatically with the main (also called `upstream`) repository,
 you should follow the follow simple steps.
 
-1. Go to `Settings > Repository`
+1. Go to `Settings > Repository` (bottom left of the screen)
 2. Expand the section on `Mirroring repositories`
-3. In the field `Git repository URL`, enter the SSH clone address from the main repository. In case of this repository, the address is `ssh://git@git-r3lab-server.uni.lu:8022/R3/howto-cards.git`
+3. In the field `Git repository URL`, enter the SSH clone address from the main repository. In case of this repository, the address is `ssh://git@gitlab.lcsb.uni.lu:8022/R3/howto-cards.git`
 4. Select `Mirror Direction` as `Pull`
 5. `Authentication method` should be selected as `SSH public key`
-6. Then, click on the green button `Mirror repository`
+6. Then, click on the blue button `Mirror repository`
 
-You will see an entry in the table below the green button. Often, there is an error appearing. Now, in order to be able to perform the mirror, you need to set the SSH key.
+You will see an entry in the table below the blue button. Often, there is an error appearing. Now, in order to be able to perform the mirror, you need to set the SSH key.
 
 1. Copy the SSH public key by clicking on the copy button (next to the sync button) located next to the red paper bin.
 
     <img src="img/copy-ssh-key.png" height="80">
 
-2. Then, browse to your profile picture (top right) and click on `Settings`
+2. Then, browse to your profile picture (top right) and click on `Preferences`
 3. On the left of the page, click on `SSH keys`
 4. Paste the key (using CTRL+V or CMD+V) into the SSH field
 5. Click on `Add key`