diff --git a/ssh/.ssh/config b/ssh/.ssh/config
index dda152b..d4a4616 100644
--- a/ssh/.ssh/config
+++ b/ssh/.ssh/config
@@ -25,8 +25,3 @@ host kermit-gpu
     hostname bw26gpu1.ugent.be
     port 4480
     identityfile ~/.ssh/kermit-gpu
-
-Host pcs_lab
-    user git
-    hostname github.ugent.be
-    identityfile ~/.ssh/pcs_lab_deploy_key
diff --git a/ssh/.ssh/known_hosts b/ssh/.ssh/known_hosts
index 90c9c9d..f71f67e 100644
Binary files a/ssh/.ssh/known_hosts and b/ssh/.ssh/known_hosts differ
diff --git a/ssh/.ssh/pcs_lab_deploy_key b/ssh/.ssh/pcs_lab_deploy_key
deleted file mode 100644
index f81c0e0..0000000
Binary files a/ssh/.ssh/pcs_lab_deploy_key and /dev/null differ