10BC0 Fix PR branch getters by fregante · Pull Request #8748 · refined-github/refined-github · GitHub
[go: up one dir, main page]

Skip to content

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.

2 participants

0