chore: remove deprecated properties from Gitpod file

Author: psanders

.gitpod.yml

@@ -16,13 +16,3 @@ ports:
   - port: 51904
     visibility: public
     onOpen: ignore
-
-github:
-  prebuilds:
-    master: true
-    branches: true
-    pullRequests: true
-    pullRequestsFromForks: true
-    addCheck: true
-    addComment: false
-    addBadge: true