Skip to content

ci(pr): cap metadata file scans for large imports#41

Merged
Seungpyo1007 merged 1 commit into
mainfrom
ci/pr-metadata-large-pr
Jun 20, 2026
Merged

ci(pr): cap metadata file scans for large imports#41
Seungpyo1007 merged 1 commit into
mainfrom
ci/pr-metadata-large-pr

Conversation

@Seungpyo1007

@Seungpyo1007 Seungpyo1007 commented Jun 20, 2026

Copy link
Copy Markdown
Member

Summary

  • cap PR metadata file scanning for very large import PRs
  • use GitHub PR metadata for total file/line counts while sampling changed paths for labels/comments

Why

  • Large data + public dump PRs can exceed practical pulls.listFiles pagination time in pull_request_target.
  • This keeps triage metadata useful without blocking validation.

Verification

  • git diff --check -- .github/workflows/pr-metadata.yml PASS

Refs #1

@github-actions github-actions Bot added the ci CI and workflow changes label Jun 20, 2026
@Seungpyo1007 Seungpyo1007 added the enhancement New feature or request label Jun 20, 2026
@Seungpyo1007 Seungpyo1007 moved this from Todo to In Progress in TechAPI-Project Jun 20, 2026
@Seungpyo1007 Seungpyo1007 merged commit 6b5dad7 into main Jun 20, 2026
1 check passed
@github-project-automation github-project-automation Bot moved this from In Progress to Done in TechAPI-Project Jun 20, 2026
@Seungpyo1007 Seungpyo1007 deleted the ci/pr-metadata-large-pr branch June 20, 2026 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@Seungpyo1007 Seungpyo1007

@TechEngineBot TechEngineBot

Labels

ci CI and workflow changes enhancement New feature or request

Projects

TechAPI-Project
Status: Done

Milestone

Massive dataset rebuild (1989-2026)

Development

Successfully merging this pull request may close these issues.

2 participants

@Seungpyo1007 @TechEngineBot