1
0
mirror of https://github.com/badges/shields.git synced 2025-04-18 19:44:04 +03:00

Tweak Gitpod config (#3934)

This disables the comments like https://github.com/badges/shields/pull/3933#issuecomment-526905743 which seem a bit chatty, as the review apps can be accessed from the checks.

This and also turns off builds for branches. For the most part we keep PRs open when branches are at a stage of being ready for useful review, so I think that should be sufficient for us.
This commit is contained in:
Paul Melnikow 2019-09-03 13:12:38 -04:00 committed by repo-ranger[bot]
parent 4190609d1b
commit 33389e352d

View File

@ -9,7 +9,7 @@ github:
# enable for the master/default branch (defaults to true)
master: true
# enable for all branches in this repo (defaults to false)
branches: true
branches: false
# enable for pull requests coming from this repo (defaults to true)
pullRequests: true
# enable for pull requests coming from forks (defaults to false)
@ -17,7 +17,7 @@ github:
# 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
addComment: false
# add a "Review in Gitpod" button to the pull request's description (defaults to false)
addBadge: false
# add a label once the prebuild is ready to pull requests (defaults to false)