Skip to content

Conversation

@marcoieni
Copy link
Member

@marcoieni marcoieni force-pushed the configure-bors-oauth branch from ec5d02d to 427b0c5 Compare December 23, 2025 14:29
@marcoieni marcoieni force-pushed the configure-bors-oauth branch from 427b0c5 to 922d6c1 Compare December 23, 2025 14:31
@marcoieni marcoieni merged commit f9e137c into master Dec 23, 2025
4 checks passed
@marcoieni marcoieni deleted the configure-bors-oauth branch December 23, 2025 14:37
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