remove old GITPOD configuration

.gitpod.yml

@@ -11,20 +11,3 @@ tasks:
       pre-commit install
       echo "Ready to work!"
       echo "Remember to switch to a feature branch before starting the development :)"
-
-github:
-  prebuilds:
-    # enable for the default branch
-    master: true
-    # enable for all branches in this repo
-    branches: true
-    # enable for pull requests coming from this repo
-    pullRequests: true
-    # enable for pull requests coming from forks
-    pullRequestsFromForks: false
-    # add a check to pull requests
-    addCheck: prevent-merge-on-error
-    # add a "Review in Gitpod" button as a comment to pull requests
-    addComment: true
-    # add a "Review in Gitpod" button to the pull request's description
-    addBadge: true