mirror of
https://github.com/InfiniTimeOrg/InfiniTime.git
synced 2024-11-30 12:42:55 +03:00
0880d53a94
Little configuration to give https://gitpod.io users an environment with the SDKs pre-installed
18 lines
746 B
YAML
18 lines
746 B
YAML
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 |