Skip to content

fix: bulk pr repo list#117

Merged
razvan merged 1 commit intomainfrom
fix/bulk-repos
Nov 5, 2025
Merged

fix: bulk pr repo list#117
razvan merged 1 commit intomainfrom
fix/bulk-repos

Conversation

@razvan
Copy link
Copy Markdown
Member

@razvan razvan commented Nov 5, 2025

No description provided.

@razvan razvan self-assigned this Nov 5, 2025
@razvan razvan requested a review from a team November 5, 2025 07:52
@razvan razvan enabled auto-merge November 5, 2025 07:53
@razvan razvan added this pull request to the merge queue Nov 5, 2025
Merged via the queue into main with commit 3389275 Nov 5, 2025
1 check passed
@razvan razvan deleted the fix/bulk-repos branch November 5, 2025 08:31
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.

2 participants