Skip to content

Archive the redeem-with-final-coupon plan; accept ADR 0005 - #277

Merged
Greaker merged 1 commit into
developmentfrom
feature/archive-redeem-with-final-coupon-plan
Sep 8, 2026
Merged

Greaker merged 1 commit into
developmentfrom
feature/archive-redeem-with-final-coupon-plan

Conversation

@Greaker

@Greaker Greaker commented Sep 8, 2026

Copy link
Copy Markdown
Contributor

Summary

Test plan

  • python3 scripts/verification/check-public-repo-hygiene.py && python3 scripts/verification/check-markdown-links.py
  • rg sweep of committed docs for redeemed, /redemptions, redeem(, and the removed events: remaining hits are historical (ADRs, archived plans) or explicitly say there is no separate step

Move docs/plans/redeem-with-final-coupon/ to docs/plans/archive/ with its
status set to Implemented (shipped via #275 and #276), tick its done
criteria, close out progress.md, and move the documentation-index entry
to the archive list. ADR 0005 moves to Accepted in the ADR index and the
documentation index. The contracts versioning note no longer names the
removed BondManager.redeem entry point.
@Greaker
Greaker merged commit 1549bc8 into development Sep 8, 2026
7 checks passed
@Greaker
Greaker deleted the feature/archive-redeem-with-final-coupon-plan branch September 8, 2026 15:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant