From 518d384346abeef833122b871411788b6d7f3ebe Mon Sep 17 00:00:00 2001
From: Yarden Shoham <git@yardenshoham.com>
Date: Fri, 7 Apr 2023 22:55:25 +0300
Subject: [PATCH] Remove docs from automatically building in Gitpod (#23978)

I couldn't find a way to build the docs without `trans-copy` and
spinning up a dev environment that generates files untracked by git on
startup is not a good development experience

Signed-off-by: Yarden Shoham <git@yardenshoham.com>
---
 .gitpod.yml | 9 ---------
 1 file changed, 9 deletions(-)

diff --git a/.gitpod.yml b/.gitpod.yml
index 39f62435de..442f434eaa 100644
--- a/.gitpod.yml
+++ b/.gitpod.yml
@@ -23,13 +23,6 @@ tasks:
       gp sync-await setup
       make watch-frontend
     openMode: split-right
-  - name: Run docs
-    command: |
-      gp sync-await setup
-      cd docs
-      make clean update
-      hugo server -D -F --baseUrl $(gp url 1313) --liveReloadPort=443 --appendPort=false --bind=0.0.0.0
-    openMode: split-right
 
 vscode:
   extensions:
@@ -46,5 +39,3 @@ vscode:
 ports:
   - name: Gitea
     port: 3000
-  - name: Docs
-    port: 1313