chore: 🔨 initial gitpod configuration

Author: BbrSofiane

.gitpod.yml

@@ -0,0 +1,25 @@
+tasks:
+  - init: |
+      export RICHIE_SITE=diceytech
+      make bootstrap
+      make stop
+# Ports to expose on workspace startup
+ports:
+  - port: 8070
+    onOpen: open-preview
+github:
+  prebuilds:
+    # enable for the master/default branch (defaults to true)
+    master: true
+    # enable for all branches in this repo (defaults to false)
+    branches: true
+    # enable for pull requests coming from this repo (defaults to true)
+    pullRequests: true
+    # enable for pull requests coming from forks (defaults to false)
+    pullRequestsFromForks: true
+    # add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
+    addComment: true
+    # add a "Review in Gitpod" button to pull requests (defaults to false)
+    addBadge: false
+    # add a label once the prebuild is ready to pull requests (defaults to false)
+    addLabel: prebuilt-in-gitpod

Makefile

@@ -1,4 +1,4 @@
-RICHIE_SITE ?= funmooc
+RICHIE_SITE ?= diceytech
 
 # -- Terminal colors
 COLOR_INFO    = \033[0;36m