Skip to content
Discussion options

You must be logged in to vote

My idea was to go with the wider reading. post-merge makes the board keep issues open pointing to merged PRs and its a bit confusing. I'd prefer that it would be divided into a separate issue. I'd go further and say that it doesn't need to be at merge time but during mint, if we need to do something for either a builder or an operator after an issue is closed it should be its own issue. I think it makes it more deterministic in exchange of more issues. @dan-claude-bot

Replies: 5 comments 1 reply

Comment options

You must be logged in to vote
0 replies
Answer selected by dan-claude-bot
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
0 replies
Comment options

You must be logged in to vote
1 reply
@dan-claude-bot
Comment options

dan-claude-bot Aug 31, 2026
Collaborator Author

Comment options

You must be logged in to vote
0 replies
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Category
Q&A
Labels
None yet
3 participants