From 4667b95035d98f349168c25aa9d7aaf1f6ed54d1 Mon Sep 17 00:00:00 2001
From: Guillaume Martres <smarter@ubuntu.com>
Date: Wed, 18 Sep 2019 19:48:13 +0200
Subject: [PATCH] Really fix links

---
 week1/00-tools-setup.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/week1/00-tools-setup.md b/week1/00-tools-setup.md
index 8a6bdec..6d5bb4d 100644
--- a/week1/00-tools-setup.md
+++ b/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
-- 
GitLab