diff --git a/github_repos.json b/github_repos.json
index 364b5bdd..27f68e28 100644
--- a/github_repos.json
+++ b/github_repos.json
@@ -3603,6 +3603,10 @@
       {
         "name": "unibe-ch",
         "ts": null
+      },
+      {
+	"name": "ISPMBern",
+	"ts": null
       }
     ]
   }