Really fix links

week1/00-tools-setup.md

@@ -145,8 +145,8 @@ ssh-keygen -t rsa -b 4096 -C "youremail@example.com"
 ### Adding your public key on Gitlab
 
 To be able to push your code, you'll need to add the public part of your key on Gitlab:
-- Go to [gitlab.epfl.ch](gitlab.epfl.ch), log in with your EPFL account
-- Go to [gitlab.epfl.ch/profile/keys](gitlab.epfl.ch/profile/keys) and copy-paste the content of the `id_rsa.pub` file created by the `ssh-keygen` command you just ran (when the command was ran it printed the location where this file was saved).
+- Go to [gitlab.epfl.ch](https://gitlab.epfl.ch), log in with your EPFL account
+- Go to [gitlab.epfl.ch/profile/keys](https://gitlab.epfl.ch/profile/keys) and copy-paste the content of the `id_rsa.pub` file created by the `ssh-keygen` command you just ran (when the command was ran it printed the location where this file was saved).
 - Press `Add key`
 
 ## Step 9: Follow the example assignment