fix(GitPod): add PR comments back to config
GitPod says they have rolled out a fix - trying it out. Will revert if this doesn't work
This commit is contained in:
committed by
GitHub
parent
824d5f9fdf
commit
bc46c683ad
@ -73,11 +73,11 @@ github:
|
|||||||
# add a check to pull requests (defaults to true)
|
# add a check to pull requests (defaults to true)
|
||||||
addCheck: false
|
addCheck: false
|
||||||
# add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
|
# add a "Review in Gitpod" button as a comment to pull requests (defaults to false)
|
||||||
addComment: false
|
addComment: true
|
||||||
# add a "Review in Gitpod" button to the pull request's description (defaults to false)
|
# add a "Review in Gitpod" button to the pull request's description (defaults to false)
|
||||||
addBadge: false
|
addBadge: false
|
||||||
# add a label once the prebuild is ready to pull requests (defaults to false)
|
# add a label once the prebuild is ready to pull requests (defaults to false)
|
||||||
addLabel: ready-on-gitpod
|
addLabel: false
|
||||||
|
|
||||||
vscode:
|
vscode:
|
||||||
extensions:
|
extensions:
|
||||||
|
Reference in New Issue
Block a user