add reference to PR in the Jenkins guide (#3482)

* docs: add reference to PR in the Jenkins guide * Update doc/jenkins-guide.md Co-authored-by: Michaël Zasso <[email protected]> --------- Co-authored-by: Michaël Zasso <[email protected]>
nodejs · Sep 11, 2023 · 831f257 · 831f257
1 parent baafbc5
commit 831f257
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/jenkins-guide.md b/doc/jenkins-guide.md
@@ -75,7 +75,9 @@ Add a Jenkins "system message" in https://ci.nodejs.org/configure. Something lik
 ```html
 <h1 style="color:red">system is under embargo for a security release</h1>
 <h2>For solidarity, even if you have access, please don't start unrelated jobs</h2>
+<p>Refs: <a href="https://github.com/nodejs/build/issues/xxx">https://github.com/nodejs/build/issues/xxx</a></p>
 ```
+
 And some fancy "extra-css" to "Theme" -> "Theme elements" -> "Extra CSS".
 This should already exist but commented out like this:
 ```css