Add support for prebuild in gitpod

.gitpod.yml

@@ -13,3 +13,23 @@ tasks:
   - name: Server
     init: composer install && composer dump-autoload && git submodule update --init && echo "Creating database..." && sleep 5 && mysql -u root -e "create database bugtracker" && cp .gitpod/config_inc.php ./config/ && php ./admin/upgrade_unattended.php && mysql -u root bugtracker -e "INSERT INTO mantis_project_table (name, enabled, view_state, access_min, category_id, inherit_global, description) VALUES ('Test', 1, 10, 10, 1, 1, '')"
     command: php -S 0.0.0.0:8000
+
+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 check to pull requests (defaults to true)
+    addCheck: true
+    # add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
+    addComment: true
+    # add a "Review in Gitpod" button to the pull request's description (defaults to false)
+    addBadge: true
+    # add a label once the prebuild is ready to pull requests (defaults to false)
+    addLabel: false
+