From 4c6b9993e64224ffef6d2ed4629b4ba342db5a41 Mon Sep 17 00:00:00 2001
From: Ryan Omasta <git@ryand.ca>
Date: Sun, 14 Sep 2025 16:42:19 -0600
Subject: [PATCH] ci/github-script/labels: don't add stale if issue was
 mentioned

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>
---
 ci/github-script/labels.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ci/github-script/labels.js b/ci/github-script/labels.js
index 467d3b1f0ba7..801380aad54f 100644
--- a/ci/github-script/labels.js
+++ b/ci/github-script/labels.js
@@ -263,6 +263,9 @@ module.exports = async ({ github, context, core, dry }) => {
               'assigned',
               'commented', // uses updated_at, because that could be > created_at
               'committed', // uses committer.date
+              ...(item.labels.some(({ name }) => name === '5.scope: tracking')
+                ? ['cross-referenced']
+                : []),
               'head_ref_force_pushed',
               'milestoned',
               'pinned',