Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

build: make GitPod less noisy #43823

Closed
wants to merge 1 commit into from
Closed

build: make GitPod less noisy #43823

wants to merge 1 commit into from

Conversation

Trott
Copy link
Member

@Trott Trott commented Jul 13, 2022

Disable prebuilds for pull requests.

addComment now defaults to false so we don't need to set it anymore.

Refs: #43789 (comment)
Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration

@Trott Trott added the fast-track PRs that do not need to wait for 48 hours to land. label Jul 13, 2022
@Trott Trott requested a review from targos July 13, 2022 16:03
@nodejs-github-bot nodejs-github-bot added the meta Issues and PRs related to the general management of the project. label Jul 13, 2022
@github-actions
Copy link
Contributor

Fast-track has been requested by @Trott. Please 👍 to approve.

Disable prebuilds for pull requests.

addComment now defaults to false so we don't need to set it anymore.

Refs: nodejs#43789 (comment)
Refs: https://www.gitpod.io/docs/prebuilds#github-specific-configuration
@Trott
Copy link
Member Author

Trott commented Jul 13, 2022

Well, that rebase-and-force-push did not go the way I expected....

@Trott
Copy link
Member Author

Trott commented Jul 13, 2022

Fixed it, but it won't let me re-open. sigh....

#43829

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
fast-track PRs that do not need to wait for 48 hours to land. meta Issues and PRs related to the general management of the project.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants