mirror of
https://github.com/nodejs/node.git
synced 2026-10-28 10:15:07 +08:00
tools: fix lint-pr-url message
PR-URL: https://github.com/nodejs/node/pull/37304 Reviewed-By: Darshan Sen <raisinten@gmail.com> Reviewed-By: Luigi Pinca <luigipinca@gmail.com> Reviewed-By: Rich Trott <rtrott@gmail.com>
This commit is contained in:
1 parent
0dfc0f5702
commit
a803d4aedb
1 file changed
+1
-1
@@ -28,7 +28,7 @@ for await (const line of diff) {
|
||||
} else if (!validatePrUrl(line.match(prUrlDefinition)?.[1])) {
|
||||
console.warn(
|
||||
`::warning file=${currentFile},line=${currentLine++},col=${line.length}` +
|
||||
'::pr-url doesn\'t match the actual PR URL.'
|
||||
'::pr-url doesn\'t match the URL of the current PR.'
|
||||
);
|
||||
} else if (line[0] !== '-') {
|
||||
// Increment line counter if line is not being deleted.
|
||||
|
||||
Reference in new issue
Block a user