diff options
| author | JF <jf@codingfield.com> | 2021-01-23 16:41:29 (GMT) |
|---|---|---|
| committer | Gitea <gitea@fake.local> | 2021-01-23 16:41:29 (GMT) |
| commit | 76ab14fa5f7979dd764b449396dc5835a286ec6d (patch) | |
| tree | 846b39f9c412854c57fd15cc37e920b7affa28c5 /.gitpod.yml | |
| parent | 1d940af924bac5728a4d494f780e298e5b67b707 (diff) | |
| parent | 84b509ed9536e081f370d2fd7c519c9ed6acfea4 (diff) | |
Merge branch 'develop' of JF/PineTime into master
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 0000000..0af6dce --- /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 |