Improve Gitpod configuration

TheAlgorithms · Jul 30, 2023 · 9eecf24 · 9eecf24
1 parent 78e0f84
commit 9eecf24
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 18 deletions.
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -1,19 +1,15 @@
-image:
-  file: .gitpod.Dockerfile
-
 tasks:
   - init: pip install -r ./requirements.txt
 
 vscode:
   extensions:
-    - almenon.arepl@2.0.1:JWXhed/Ti1CHdOqmOfP5wg==
-    - dendron.dendron-markdown-preview-enhanced@0.10.22:iKz57LDwKh6E4XlWzcsIVA==
+    - almenon.arepl
+    - ms-toolsai.jupyter
 
 github:
     prebuilds:
-        # enable for the master/default branch (defaults to true)
         master: true
-        # enable for pull requests coming from this repo (defaults to true)
         pullRequests: true
-        # add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
-        addComment: true
+        addCheck: true
+        addBadge: true
+        pullRequestsFromForks: true