Skip to content

docs: #35 is closed, so PROGRESS's open list should not still carry it - #38

Merged
MCKRUZ merged 1 commit into
mainfrom
docs/progress-after-35
Jul 31, 2026
Merged

docs: #35 is closed, so PROGRESS's open list should not still carry it#38
MCKRUZ merged 1 commit into
mainfrom
docs/progress-after-35

Conversation

@MCKRUZ

@MCKRUZ MCKRUZ commented Jul 31, 2026

Copy link
Copy Markdown
Owner

#35 was listed as open in PR #36 and merged closed in #37 within the hour. Third correction to this list today — which is the argument #35 made, and now enforces, though only for the kit's own inventory rather than for issue lists.

Self-approved under the solo-maintainer carve-out: internal repo, no second maintainer, docs-only, named here rather than taken silently.

🤖 Generated with Claude Code

https://claude.ai/code/session_014aesqvsMqJpzEdpDXDTjvF

Third correction to this list today, which is the argument #35 made and now enforces —
though only for the kit's own inventory, not for issue lists.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_014aesqvsMqJpzEdpDXDTjvF
@MCKRUZ
MCKRUZ merged commit 880b003 into main Jul 31, 2026
1 check passed
@MCKRUZ
MCKRUZ deleted the docs/progress-after-35 branch July 31, 2026 19:48
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