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

tools: fix lint-pr-url message #37304

Merged
merged 1 commit into from
Feb 13, 2021
Merged

tools: fix lint-pr-url message #37304

merged 1 commit into from
Feb 13, 2021

Conversation

aduh95
Copy link
Contributor

@aduh95 aduh95 commented Feb 10, 2021

actual PR URL message may be a bit confusing, this PR specifies it's talking about the current PR.

@nodejs-github-bot nodejs-github-bot added the tools Issues and PRs related to the tools directory. label Feb 10, 2021
tools/lint-pr-url.mjs Outdated Show resolved Hide resolved
Copy link
Member

@Trott Trott left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Unrelated to this specific PR, but does this lint job something that doesn't run on backport PRs? I think it might result in false positives if it runs on backport PRs.

@aduh95
Copy link
Contributor Author

aduh95 commented Feb 10, 2021

does this lint job something that doesn't run on backport PRs? I think it might result in false positives if it runs on backport PRs.

It does run on backport PRs, and does produce "false positives" warnings. E.G.: https://github.com/nodejs/node/pull/37289/files#diff-71a7964a5c439435680952125e31e9dd4fca3a427982e6db86770fd0fbbfde63R463

I was aware of this when working on this, so I made sure it never produces errors and always completes as green. If people find it too noisy, we can maybe filter out the backport PR somehow.

@nodejs-github-bot
Copy link
Collaborator

@aduh95 aduh95 added the author ready PRs that have at least one approval, no pending requests for changes, and a CI started. label Feb 11, 2021
PR-URL: nodejs#37304
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
@aduh95
Copy link
Contributor Author

aduh95 commented Feb 13, 2021

Landed in a803d4a

@aduh95 aduh95 merged commit a803d4a into nodejs:master Feb 13, 2021
@aduh95 aduh95 deleted the lint-pr-url branch February 13, 2021 17:09
danielleadams pushed a commit that referenced this pull request Feb 16, 2021
PR-URL: #37304
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
This was referenced Feb 16, 2021
targos pushed a commit that referenced this pull request May 1, 2021
PR-URL: #37304
Reviewed-By: Darshan Sen <raisinten@gmail.com>
Reviewed-By: Luigi Pinca <luigipinca@gmail.com>
Reviewed-By: Rich Trott <rtrott@gmail.com>
@danielleadams danielleadams mentioned this pull request May 3, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
author ready PRs that have at least one approval, no pending requests for changes, and a CI started. tools Issues and PRs related to the tools directory.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants