From 967371abafa1787a9d072ff06fbc53f45b5e54c5 Mon Sep 17 00:00:00 2001
From: Carlos Santana <csantana23@gmail.com>
Date: Wed, 15 Dec 2021 12:26:30 -0500
Subject: [PATCH] add gitpod for drive-by users making quick changes (#4583)

Signed-off-by: Carlos Santana <csantana23@gmail.com>
---
 .gitpod.yml | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 000000000..4839dddf7
--- /dev/null
+++ 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