Skip to content

ci: Fix plan not generated correctly for PR from forked repo#3327

Merged
Xuanwo merged 2 commits intomainfrom
fix-planner
Oct 17, 2023
Merged

ci: Fix plan not generated correctly for PR from forked repo#3327
Xuanwo merged 2 commits intomainfrom
fix-planner

Conversation

@Xuanwo
Copy link
Copy Markdown
Member

@Xuanwo Xuanwo commented Oct 17, 2023

Fix #3326

Signed-off-by: Xuanwo <github@xuanwo.io>
@Xuanwo Xuanwo requested a review from PsiACE as a code owner October 17, 2023 15:15
@github-actions github-actions Bot added the releases-note/ci The PR modifies CI-related content or has a title that begins with "ci" label Oct 17, 2023
Signed-off-by: Xuanwo <github@xuanwo.io>
Copy link
Copy Markdown
Member

@silver-ymz silver-ymz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@Xuanwo Xuanwo merged commit 27526e3 into main Oct 17, 2023
@Xuanwo Xuanwo deleted the fix-planner branch October 17, 2023 15:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

releases-note/ci The PR modifies CI-related content or has a title that begins with "ci"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Planner didn't generate correct plan for PR from forked repo

2 participants