diff --git a/external/contribute/mirror-fork/mirror-fork.md b/external/contribute/mirror-fork/mirror-fork.md
index 7adaedc490864fc5d0dc5137f34a0e65a64aa554..cc41497f1cf6dd719deaac3e2ab546570c29a7b3 100644
--- a/external/contribute/mirror-fork/mirror-fork.md
+++ b/external/contribute/mirror-fork/mirror-fork.md
@@ -11,14 +11,14 @@ 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.