chore: update gitpod configuration

.gitpod.yml

@@ -1,27 +1,51 @@
-# This configuration file was automatically generated by Gitpod.
-# Please adjust to your needs (see https://www.gitpod.io/docs/config-gitpod-file)
-# and commit this file to your remote git repository to share the goodness with others.
+# http://gitpod.io/#github.com/gnolang/gno
 
 tasks:
-  - name: Dev Shell
-    init: >
-      echo "install developer tools" &&
-      (cd misc/devdeps && make install) &&
-      echo "download dependencies" &&
-      go mod download &&
-      go install ./gnovm/cmd/gno
+  - name: Gno Shell
+    before: cd ./examples/
+    init: |
+      (
+        set -xe
+        cd ..
+        echo "install developer tools"
+        (cd misc/devdeps && make install)
+        echo "download dependencies"
+        go mod download
+        go install ./gnovm/cmd/gno
+        echo "Deps installed."
+      )
     command: gno --help
 
+  - name: Gnoland Node
+    before: cd ./gno.land/
+    init: go install ./cmd/gnoland
+    command: gnoland start
+
   - name: Gnoland Website
-    init: go install ./gno.land/cmd/gnoweb
+    before: cd ./gno.land/
+    init: go install ./cmd/gnoweb
     command: gnoweb --bind=0.0.0.0:8888
 
-  - name: Gnoland Node
-    init: go install ./gno.land/cmd/gnoland
-    command: gnoland start
+  #- name: faucet
+  #  ...
 
 ports:
-  - port: 8888
+  - name: gnoweb
+    description: "the Gno.land web server"
+    port: 8888
     onOpen: open-preview
-  - port: 36657
+
+  - name: "gnoland RPC"
+    description: "the RPC server, managed by tendermint2"
+    port: 36657
     onOpen: notify
+
+github:
+  prebuilds:
+    master: true
+    branches: false
+    pullRequests: false
+    pullRequestsFromForks: false
+    addCheck: false
+    addComment: false
+    addBadge: false