Skip to content

fix(scoring): attribute merged PR repo before mirror file-fetch early returns#1621

Open
nghetienhiep wants to merge 1 commit into
entrius:testfrom
nghetienhiep:fix/issue-1616
Open

fix(scoring): attribute merged PR repo before mirror file-fetch early returns#1621
nghetienhiep wants to merge 1 commit into
entrius:testfrom
nghetienhiep:fix/issue-1616

Conversation

@nghetienhiep

@nghetienhiep nghetienhiep commented Jul 13, 2026

Copy link
Copy Markdown

score_pr() only added a MERGED PR's repo to unique_repos_contributed_to after
the transient file-fetch early returns (scoring_data_stored=False,
MirrorRequestError, empty files), so a merged PR could count toward eligibility
but silently miss unique-repo attribution based purely on mirror timing.

Move the attribution ahead of those branches. Regression of #65/#71 reintroduced
when scoring moved to the mirror path.

Closes #1616

@xiao-xiao-mao xiao-xiao-mao Bot added the bug Something isn't working label Jul 13, 2026
… returns

score_pr() only added a MERGED PR's repo to unique_repos_contributed_to after
the transient file-fetch early returns (scoring_data_stored=False,
MirrorRequestError, empty files), so a merged PR could count toward eligibility
but silently miss unique-repo attribution based purely on mirror timing.

Move the attribution ahead of those branches. Regression of entrius#65/entrius#71 reintroduced
when scoring moved to the mirror path.

Closes entrius#1616
@nghetienhiep nghetienhiep force-pushed the fix/issue-1616 branch 2 times, most recently from 93a822a to c540d9f Compare July 13, 2026 15:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(scoring): unique_repos_contributed_to undercounts when mirror file-fetch is pending/fails for a MERGED PR

1 participant