Skip to content

Fix PR branch getters#8748

Merged
fregante merged 2 commits intomainfrom
many-fixes
Nov 9, 2025
Merged

Fix PR branch getters#8748
fregante merged 2 commits intomainfrom
many-fixes

Conversation

@fregante
Copy link
Member

@fregante fregante commented Nov 8, 2025

@fregante fregante added the bug label Nov 8, 2025
@fregante fregante marked this pull request as ready for review November 9, 2025 09:00
@fregante fregante merged commit 1700a9b into main Nov 9, 2025
9 checks passed
@FloEdelmann FloEdelmann deleted the many-fixes branch November 19, 2025 15:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Development

Successfully merging this pull request may close these issues.

1 participant