dotnet / dotnet/source-build

Baseline PR Tool should close empty PRs

Open
#5,610 1 comment 0 reactions 0 assignees View on GitHub
area-infra
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.