Skip to content

Fix release date.#657

Open
reitermarkus wants to merge 1 commit intomainfrom
release-date
Open

Fix release date.#657
reitermarkus wants to merge 1 commit intomainfrom
release-date

Conversation

@reitermarkus
Copy link
Copy Markdown
Member

@reitermarkus reitermarkus commented Apr 21, 2026

Maybe we should just remove the date, since this always requires the release PR to be up-to-date when merged.

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