Skip to content

Check branch name when PR is closed.#429

Merged
Jelmerdw merged 1 commit intomainfrom
hotfix-pr-closed
Apr 1, 2026
Merged

Check branch name when PR is closed.#429
Jelmerdw merged 1 commit intomainfrom
hotfix-pr-closed

Conversation

@Jelmerdw
Copy link
Copy Markdown
Collaborator

@Jelmerdw Jelmerdw commented Apr 1, 2026

Description

Check branch name when PR is closed.

Signed-off-by: Jelmer de Wolde <jelmer.de.wolde@alliander.com>
@Jelmerdw Jelmerdw closed this Apr 1, 2026
@Jelmerdw Jelmerdw reopened this Apr 1, 2026
@Jelmerdw Jelmerdw merged commit 09d9b2e into main Apr 1, 2026
26 checks passed
@Jelmerdw Jelmerdw deleted the hotfix-pr-closed branch April 1, 2026 09:04
@Jelmerdw Jelmerdw restored the hotfix-pr-closed branch April 1, 2026 09:10
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