add gitpod for drive-by users making quick changes (#4583)

Signed-off-by: Carlos Santana <csantana23@gmail.com>
2021-12-15 12:26:30 -05:00 · 2021-12-15 12:26:30 -05:00 · 967371abaf
parent a0706b15ad
commit 967371abaf
1 changed files with 11 additions and 0 deletions
--- a/.gitpod.yml
+++ b/.gitpod.yml
@ -0,0 +1,11 @@
+# List the start up tasks. Learn more https://www.gitpod.io/docs/config-start-tasks/
+tasks:
+  - init: |
+      pip install -r requirements.txt
+    command: mkdocs serve --dirtyreload
+
+
+# List the ports to expose. Learn more https://www.gitpod.io/docs/config-ports/
+ports:
+  - port: 8000
+    onOpen: open-preview