Skip to content

Push only the PR's changed files to the submissions realm#662

Merged
richardhjtan merged 2 commits into
mainfrom
fix/push-only-pr-diff-to-submissions
Jul 17, 2026
Merged

Push only the PR's changed files to the submissions realm#662
richardhjtan merged 2 commits into
mainfrom
fix/push-only-pr-diff-to-submissions

Reuse the staged file list for the PR comment

0ad469c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar