Add REC-02, the download badge (1.28.1) - #93
Merged
Merged
Conversation
…endations Pull request #61 proposed a download-count badge and said, in its own words, that it "is a recommendation, not part of the required badge block and not an additional condition for P08". It was written on 2026-09-16, a week before there was anywhere to put a recommendation, so it had to be optional prose inside the criterion it was careful not to change. There is somewhere now. The content is unchanged in substance; only its home is different, and being a recommendation is stated by where it sits rather than by a sentence asking the reader to treat it that way. The caveat from #61 is kept and sharpened: GitHub counts asset downloads rather than unique users or installations, and checksum downloads are in the total, so the number is a direction and not a figure. Patch, which is the first use of the rule the Recommendations section states: a recommendation produces no result, so no recorded result can change. The version in #61 was 1.11.2 and is now three versions stale, which is the other reason to land it fresh rather than rebase it. Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: f34e4f0b-ebd2-4432-9c55-9851a5e58c50
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #61 by giving its content the home that did not exist when it was written.
#61 proposed a download-count badge and said, in its own words, that it "is a recommendation, not part of the required badge block and not an additional condition for
P08". It was written on 2026-09-16 — a week before the Recommendations section existed — so it had to be optional prose inside the criterion it was careful not to change.Now it is
REC-02, and being a recommendation is stated by where it sits rather than by a sentence asking the reader to treat it that way.The substance is unchanged. The caveat from #61 is kept and sharpened: GitHub counts asset downloads rather than unique users or installations, and checksum downloads are in the total, so the number is a direction and not a figure.
Version
Patch — and the first change to use the rule the Recommendations section states: a recommendation produces no result, so no recorded result can change.
The version in #61 was 1.11.2, now three versions stale, which is the other reason to land this fresh rather than rebase it.
Validation
standard.py --check, conformance.py --check, links.py, 159 tests, Ruff, markdownlint — all green.