Close tracker items delivered by merged pull requests (2026-10-13)
Merged
UN
5d ago+25+25+01234567890123456789-4-4-0123456789
Closes the pm items these merged pull requests delivered. Each closure records only verifiable facts: the PR, its merge commit, and the checks that concluded successfully at the PR head.
- pm-github-fmrf: #115 (1315818)
- pm-github-6srd: #116 (2d52ed1)
Summary by Sourcery
Close the project-management items delivered by merged pull requests and document the released capabilities.
Enhancements:
- Record the successful delivery of two merged pull requests by closing their corresponding project-management items with verifiable merge and check evidence.
Documentation:
- Add unreleased changelog entries for selective GitHub issue imports with volume limits and live validation of blocked items.
Chores:
- Update feature and history records for the completed project-management items.
Summary by cubic
Closes the pm-github-fmrf and pm-github-6srd tracker items, which were delivered by merged PRs #115 and #116. Each closure records only verifiable facts: the delivering PR, its merge commit, and the checks that passed at the PR head. Adds changelog entries for both delivered features.