Baseline PR Tool should close empty PRs
- Dominant language
- No language data
- Stars
- 287
- Forks
- 145
- Avg merge
- 1d 22h
- Merged PRs (30d)
- 10
Description
In https://github.com/dotnet/dotnet/pull/7628 (a baseline update PR), the first commit modified the baseline, and the second commit reverted those changes, resulting in a PR with no effective changes. The baseline PR tool should have detected that there were no differences from the target branch, closed the PR, and posted a comment explaining why.
Contributor guide
No contributing guide indexed for this repository
Research direction
Start with the baseline PR tool and review how it compares a baseline update PR with its target branch, using PR 7628 as the example. Trace the empty-diff case where changes are reverted, then verify that the tool closes the PR and posts a comment explaining that it has no effective changes.
Written by the indexing model from the issue text.
Assessment
- Domain
- build-system, release, tooling
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Quiet
- Clarity
- Mostly clear
- Newbie friendliness
- 55/100