Skip to content

Re-add formatter to GitHub release notes#7763

Merged
charliermarsh merged 1 commit intomainfrom
charlie/filter
Oct 2, 2023
Merged

Re-add formatter to GitHub release notes#7763
charliermarsh merged 1 commit intomainfrom
charlie/filter

Conversation

@charliermarsh
Copy link
Member

We may choose to omit these manually, but we probably want to include some of them, so it's annoying for them to be filtered out.

@charliermarsh charliermarsh added the internal An internal refactor or improvement label Oct 2, 2023
@charliermarsh charliermarsh enabled auto-merge (squash) October 2, 2023 14:51
@charliermarsh charliermarsh merged commit 6b99f5e into main Oct 2, 2023
@charliermarsh charliermarsh deleted the charlie/filter branch October 2, 2023 15:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal An internal refactor or improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants