Add automated PR checks and Copilot instructions for common contributor mistakes - #207

Merged

dalito merged 8 commits into

mainfrom

copilot/experiment-copilot-reviews

Nov 8, 2025

Commits on Nov 8, 2025

Initial plan
Copilot
committed
c9c71aa
Add PR submission checks workflow

Copilot
and
dalito
committed
44c2922
Document automated PR checks and update contributing guide

Copilot
and
dalito
committed
8e38d7e
Add comprehensive testing plan for PR checks workflow

Copilot
and
dalito
committed
c8aefba
Add implementation summary document

Copilot
and
dalito
committed
89acbb2
Refactor PR checks based on maintainer feedback

Copilot
and
dalito
committed
6cc0338
Fix script injection vulnerabilities in PR checks workflow

Copilot
and
dalito
committed
0f6d3ad
Clean-up copilot commits/suggestions
dalito
committed
34a5185