`closing-remarks` - Clarify message for unreleased PRs by fregante · Pull Request #9316 · refined-github/refined-github · GitHub
Skip to content

closing-remarks - Clarify message for unreleased PRs#9316

Merged
fregante merged 1 commit into
mainfrom
closing-remarks
May 1, 2026
Merged

closing-remarks - Clarify message for unreleased PRs#9316
fregante merged 1 commit into
mainfrom
closing-remarks

Conversation

@fregante

Copy link
Copy Markdown
Member

@fregante

Copy link
Copy Markdown
Member Author

@fregante fregante merged commit 8d8d9fb into main May 1, 2026
12 checks passed
@fregante fregante deleted the closing-remarks branch May 1, 2026 09:40
@fregante fregante added enhancement and removed bug labels May 1, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

closing-remarks: incomplete documentation about ignored tags

1 participant