diff --git a/workshop b/workshop
deleted file mode 160000
index 5a2c205eb51..00000000000
--- a/workshop
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 5a2c205eb51860fc59f12a499fc55800eaa2619d