Skip to content

feat(api): allow /pr on forked but merged PRs - #56

Merged
MingcongBai merged 1 commit into
masterfrom
merged-fork-pr
Feb 15, 2026
Merged

feat(api): allow /pr on forked but merged PRs#56
MingcongBai merged 1 commit into
masterfrom
merged-fork-pr

Conversation

@xtexx

@xtexx xtexx commented Feb 15, 2026

Copy link
Copy Markdown
Member

@MingcongBai
MingcongBai merged commit 8e3d2e4 into master Feb 15, 2026
1 check passed
@jiegec
jiegec deleted the merged-fork-pr branch May 27, 2026 06:01
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.

3 participants