Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
specify diff between main and PR branch
based on this: https://docs.github.com/en/pull-requests/collaborating-with-pull-requests/proposing-changes-to-your-work-with-pull-requests/about-comparing-branches-in-pull-requests#about-three-dot-comparison-on-github and this: github/docs#32224 (comment)
- Loading branch information