From 720e4f3970427d739367464674e19b5b9c2e03a5 Mon Sep 17 00:00:00 2001
From: Franck Nijhof <git@frenck.dev>
Date: Fri, 8 May 2020 14:40:46 +0200
Subject: [PATCH] Remove GitPod support (#13345)

---
 .gitpod.yml       | 15 ---------------
 .theia/tasks.json | 30 ------------------------------
 2 files changed, 45 deletions(-)
 delete mode 100644 .gitpod.yml
 delete mode 100644 .theia/tasks.json

diff --git a/.gitpod.yml b/.gitpod.yml
deleted file mode 100644
index 6a0df4ab419..00000000000
--- a/.gitpod.yml
+++ /dev/null
@@ -1,15 +0,0 @@
-tasks:
-  - init: gem install bundler -v 2.0.1 && bundle install && bundle exec rake generate
-ports:
-  - port: 4000
-    onOpen: open-browser
-github:
-  prebuilds:
-    master: true
-    branches: true
-    pullRequests: true
-    pullRequestsFromForks: true
-    addCheck: true
-    addComment: false
-    addBadge: false
-    addLabel: false
diff --git a/.theia/tasks.json b/.theia/tasks.json
deleted file mode 100644
index fa5f725110c..00000000000
--- a/.theia/tasks.json
+++ /dev/null
@@ -1,30 +0,0 @@
-{
-    "tasks": [
-        {
-            "label": "Generate",
-            "type": "shell",
-            "command": "bundle",
-            "args": [
-                "exec",
-                "rake",
-                "generate"
-            ],
-            "options": {
-                "cwd": "${workspaceFolder}"
-            }        
-        },
-        {
-            "label": "Preview",
-            "type": "shell",
-            "command": "bundle",
-            "args": [
-                "exec",
-                "rake",
-                "preview"
-            ],
-            "options": {
-                "cwd": "${workspaceFolder}"
-            }        
-        }
-    ]
-}
\ No newline at end of file