From 496361f20857376653cb7d62ba879f4c1450f66e Mon Sep 17 00:00:00 2001
From: Julien Richard-Foy <julien@richard-foy.fr>
Date: Thu, 27 Jul 2023 14:58:30 +0200
Subject: [PATCH] Remove dead link

---
 _contact/03-jenkins-infrastructure.md | 5 -----
 _data/team-members.yml                | 2 +-
 2 files changed, 1 insertion(+), 6 deletions(-)
 delete mode 100644 _contact/03-jenkins-infrastructure.md

diff --git a/_contact/03-jenkins-infrastructure.md b/_contact/03-jenkins-infrastructure.md
deleted file mode 100644
index 5ace35e..0000000
--- a/_contact/03-jenkins-infrastructure.md
+++ /dev/null
@@ -1,5 +0,0 @@
----
-label: jenkinsInfrastructure
-name: Jenkins Infrastructure
-link: https://scala-webapps.epfl.ch/jenkins/
----
\ No newline at end of file
diff --git a/_data/team-members.yml b/_data/team-members.yml
index 03a3e55..d87f23b 100644
--- a/_data/team-members.yml
+++ b/_data/team-members.yml
@@ -93,7 +93,7 @@ members:
     github:
     twitter:
     photo: /resources/img/fabien.png
-    contact_for: [jenkinsInfrastructure, serverIssues]
+    contact_for: [serverIssues]
     active: true
   - member: sylvie
     name: Sylvie Buchard