[candidate-miner] Unused Antora attribute spring-boot-issues in framework-docs/antora.yml

[github-actions]

What is wrong

The Antora playbook defines an attribute named spring-boot-issues, but nothing in the documentation tree references it. Unused attributes accumulate as quiet clutter: a maintainer editing the attribute list cannot tell whether it is safe to touch, and a reader may assume a link exists that never renders anywhere.

Where

• File: framework-docs/antora.yml
• Advisory line: 47 (line numbers may drift; the entry sits among the other Spring portfolio project attributes)
• Occurrence, at line 47:

spring-boot-issues: '{spring-github-org}/spring-boot/issues'

Evidence

config_kind:             antora_attribute
pattern:                 spring-boot-issues
raw_line:                spring-boot-issues: '{spring-github-org}/spring-boot/issues'
value:                   '{spring-github-org}/spring-boot/issues'
matches_nothing_in_tree: true
names_a_literal:         true
score:                   75 (config_kind_prior=40, names_a_literal=25, single_line_fix=10, staleness_years=0)

Suggested fix

Remove the single spring-boot-issues attribute line, since no page uses it. If the docs team intends to reference Spring Boot issues from a page in the future, they may prefer to keep it and add the reference instead. Do not write the patch here.

How to verify the fix

From tools/candidate-miner/, run the config miner and confirm this fingerprint is no longer emitted:

./miner.py run --miner config_dead_entry --dry-run

Provenance

Mined at commit afa90816de83d8e9feed99b1c9e4c76adc088eb4 on branch main.

Generated by Candidate scan: file mined candidates as issues · opus48 · 78.8 AIC · ⌖ 29.8 AIC · ⊞ 4.6K · ◷

candidate-miner:fingerprint sha256:03e480dffa91b1176b90a4167a1b41ffd291655c6010f29d652a93717ec820c5