Skip to content

feat: add PR metadata fields to update report JSON output#12

Merged
csjones merged 1 commit into
mainfrom
ENRICH-OUTPUT
Mar 1, 2026
Merged

feat: add PR metadata fields to update report JSON output#12
csjones merged 1 commit into
mainfrom
ENRICH-OUTPUT

Conversation

@csjones

@csjones csjones commented Mar 1, 2026

Copy link
Copy Markdown
Contributor
  • Added latestCommit, compareURL, branchName, extractions, prTitle, prBody to ReportEntry
  • Implemented URLParser.compareURL() for GitHub compare URL generation
  • Added formatExtractions() to convert ExtractionMapping to human-readable strings
  • Added formatPRBody() to generate standardized PR descriptions with extraction details
  • Enriched "behind" entries with PR metadata for both tag-based and branch-based subtrees

- Added latestCommit, compareURL, branchName, extractions, prTitle, prBody to ReportEntry
- Implemented URLParser.compareURL() for GitHub compare URL generation
- Added formatExtractions() to convert ExtractionMapping to human-readable strings
- Added formatPRBody() to generate standardized PR descriptions with extraction details
- Enriched "behind" entries with PR metadata for both tag-based and branch-based subtrees
@csjones csjones merged commit 7a0f62b into main Mar 1, 2026
2 checks passed
@csjones csjones deleted the ENRICH-OUTPUT branch March 1, 2026 04:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant