diff options
author | Joe Eaves <jinux@alluha.net> | 2020-12-21 01:54:22 +0000 |
---|---|---|
committer | Joe Eaves <joe.eaves@shadowacre.ltd> | 2021-01-05 00:34:15 +0000 |
commit | 0880d53a941d59605050f54e43a8ab6258247eaf (patch) | |
tree | 36ae21ba576989d6fc9e9170e0b870cb95587dd7 /.gitpod.yml | |
parent | 5cdd3f6e6f0abf439da0389b38ebc13bd30fc8e5 (diff) |
Custom Dockerfile for gitpod.io
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed
Diffstat (limited to '.gitpod.yml')
-rw-r--r-- | .gitpod.yml | 18 |
1 files changed, 18 insertions, 0 deletions
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 |