Update GitHub workflows and PR templates#73

Merged

jonmartinms merged 3 commits into

mainfrom

feature/ai_pr_summary

May 20, 2026

Commits on May 19, 2026

Adding GitHub actions for generated PR summaries
jonmartinms
committed
Generate PR summary for any PR opened without a description

jonmartinms
and
Copilot
committed
Add /generate-summary comment command to trigger PR summary

jonmartinms
and
Copilot
committed