Skip to content

Comments

generate release notes index from release notes. minimize manual busy work.#300

Merged
heskew merged 1 commit intomainfrom
release-notes-generated-index
Sep 8, 2025
Merged

generate release notes index from release notes. minimize manual busy work.#300
heskew merged 1 commit intomainfrom
release-notes-generated-index

Conversation

@heskew
Copy link
Member

@heskew heskew commented Sep 7, 2025

Just making it so a new release note pr can contain only the one new release note file...

@heskew heskew force-pushed the release-notes-generated-index branch from 456624d to 220a13a Compare September 7, 2025 21:41
Copy link
Member

@kriszyp kriszyp left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Awesome!

@heskew heskew merged commit 77da277 into main Sep 8, 2025
5 checks passed
@heskew heskew deleted the release-notes-generated-index branch September 8, 2025 15:16
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.

2 participants