Revert "Add PCS lab to SSH hosts"

This reverts commit 2bafe12889.
2022-12-19 18:25:53 +01:00 · 2022-12-19 18:25:53 +01:00 · 419e823d97
parent 179ff2c636
commit 419e823d97
3 changed files with 0 additions and 5 deletions
--- 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
--- a/ssh/.ssh/known_hosts
+++ b/ssh/.ssh/known_hosts
--- a/ssh/.ssh/pcs_lab_deploy_key
+++ b/ssh/.ssh/pcs_lab_deploy_key