From 0880d53a941d59605050f54e43a8ab6258247eaf Mon Sep 17 00:00:00 2001 From: Joe Eaves Date: Mon, 21 Dec 2020 01:54:22 +0000 Subject: Custom Dockerfile for gitpod.io Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed --- .gitpod.yml | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 .gitpod.yml (limited to '.gitpod.yml') diff --git a/.gitpod.yml b/.gitpod.yml new file mode 100644 index 00000000..0af6dce8 --- /dev/null +++ b/.gitpod.yml @@ -0,0 +1,18 @@ +image: + file: docker/.gitpod.Dockerfile +github: + prebuilds: + # enable for the master/default branch (defaults to true) + master: true + # enable for all branches in this repo (defaults to false) + branches: false + # enable for pull requests coming from this repo (defaults to true) + pullRequests: false + # enable for pull requests coming from forks (defaults to false) + pullRequestsFromForks: false + # add a "Review in Gitpod" button as a comment to pull requests (defaults to true) + addComment: true + # add a "Review in Gitpod" button to pull requests (defaults to false) + addBadge: false + # add a label once the prebuild is ready to pull requests (defaults to false) + addLabel: false #prebuilt-in-gitpod \ No newline at end of file -- cgit v1.2.3-70-g09d2