Skip to content

chore(scripts): add merged-pr-report.sh script to generate monthly PR…#5

Merged
wmontwe merged 2 commits intomainfrom
chore-progress-reporter
Mar 24, 2026
Merged

chore(scripts): add merged-pr-report.sh script to generate monthly PR…#5
wmontwe merged 2 commits intomainfrom
chore-progress-reporter

Conversation

@wmontwe
Copy link
Owner

@wmontwe wmontwe commented Mar 19, 2026

Test

@github-actions
Copy link

Missing report label. Set exactly one of: report: include, report: exclude OR report: highlight.

@wmontwe wmontwe added the report: exclude Exclude changes from user-facing reports (internal, minor, or not relevant to users). label Mar 19, 2026
@wmontwe wmontwe force-pushed the chore-progress-reporter branch from 42d008b to 0ca7b64 Compare March 19, 2026 16:14
@wmontwe wmontwe added the report: include Include changes in user-facing reports. label Mar 19, 2026
@wmontwe wmontwe force-pushed the chore-progress-reporter branch from 0ca7b64 to fe3e53c Compare March 19, 2026 16:17
@github-actions
Copy link

Only one report label is allowed: report: include, report: exclude OR report: highlight.

@github-actions
Copy link

Only one report label is allowed: report: include, report: exclude OR report: highlight.

@wmontwe wmontwe force-pushed the chore-progress-reporter branch from 3cc9dab to f336e9c Compare March 19, 2026 16:24
@github-actions
Copy link

Only one report label is allowed: report: include, report: exclude OR report: highlight.

@github-actions
Copy link

Only one report label is allowed: report: include, report: exclude OR report: highlight.

@wmontwe wmontwe merged commit 60eb2f0 into main Mar 24, 2026
18 of 19 checks passed
@wmontwe wmontwe deleted the chore-progress-reporter branch March 24, 2026 09:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

report: exclude Exclude changes from user-facing reports (internal, minor, or not relevant to users). report: include Include changes in user-facing reports.

1 participant