mirror of
https://github.com/zebrajr/node.git
synced 2026-01-15 12:15:26 +00:00
build: make GitPod less noisy
Disable prebuilds for pull requests. addComment now defaults to false so we don't need to set it anymore. Refs: https://github.com/nodejs/node/pull/43789#issuecomment-1182875886 Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration PR-URL: https://github.com/nodejs/node/pull/43829 Reviewed-By: Richard Lau <rlau@redhat.com> Reviewed-By: Darshan Sen <raisinten@gmail.com>
This commit is contained in:
@@ -5,5 +5,7 @@ tasks:
|
||||
# Ref: https://www.gitpod.io/docs/prebuilds#github-specific-configuration
|
||||
github:
|
||||
prebuilds:
|
||||
# add a "Review in Gitpod" button as a comment to pull requests (defaults to true)
|
||||
addComment: false
|
||||
# enable for pull requests coming from this repo (defaults to true)
|
||||
pullRequests: false
|
||||
# add a check to pull requests (defaults to true)
|
||||
addCheck: false
|
||||
|
||||
Reference in New Issue
Block a user