ci/github-script/labels: don't add stale if issue was mentioned

Co-authored-by: Wolfgang Walther <walther@technowledgy.de>

Changed files
+3
ci
github-script
+3
ci/github-script/labels.js
···
'assigned',
'commented', // uses updated_at, because that could be > created_at
'committed', // uses committer.date
'head_ref_force_pushed',
'milestoned',
'pinned',
···
'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',