diff --git a/18-05-22-grepString/repo_list.txt b/18-05-22-grepString/repo_list.txt
index 78028fc..4d0220b 100644
--- a/18-05-22-grepString/repo_list.txt
+++ b/18-05-22-grepString/repo_list.txt
@@ -85,7 +85,6 @@ create-users-portlet
 cube-manager
 custom-portal-handler
 d4s-nginx-pep-examples
-d4s-vre-manager-setup
 d4science-keycloak-themes
 d4science-responsive-theme
 d4science-static-pages