Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/nodejs/node.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
authorAntoine du Hamel <duhamelantoine1995@gmail.com>2021-02-10 13:18:23 +0300
committerDanielle Adams <adamzdanielle@gmail.com>2021-02-16 17:16:11 +0300
commita483c284f3f8b530acf0fcffc49752285c42d453 (patch)
tree034498eda6ab03cc3e00db2a2662ebc6dee0d732 /tools
parent676f696a99e68fb0bc5c730e74bb5b69a5df2d60 (diff)
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>
Diffstat (limited to 'tools')
-rwxr-xr-xtools/lint-pr-url.mjs2
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint-pr-url.mjs b/tools/lint-pr-url.mjs
index 3b491d26e38..0ebbfdd0796 100755
--- a/tools/lint-pr-url.mjs
+++ b/tools/lint-pr-url.mjs
@@ -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.