diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md new file mode 100644 index 00000000..fcd4c729 --- /dev/null +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -0,0 +1,19 @@ +## Summary + + + +## Validation + + + +```bash +make compile # sync triggers + compile to lock files +make lint # run all linters +``` + +## Pre-Completion Checklist + +- [ ] Re-read the issue or request and confirmed this PR directly addresses it +- [ ] Reviewed all changed files for correctness +- [ ] Ran `make compile` and `make lint` with no errors +- [ ] Verified no unrelated files were modified diff --git a/.github/agents/copilot-coding-agent.md b/.github/agents/copilot-coding-agent.md index 9972b380..af78835b 100644 --- a/.github/agents/copilot-coding-agent.md +++ b/.github/agents/copilot-coding-agent.md @@ -58,6 +58,7 @@ Before finishing: - Re-read the issue or request one more time and confirm the final response directly addresses it. - Double-check changed files and command output for correctness before reporting completion. - Prefer a complete, verified solution over a partial fix; if blocked, clearly explain the blocker and what was already verified. +- When opening a pull request, read `.github/PULL_REQUEST_TEMPLATE.md` and use it as the PR description template, filling in each section. For this repository: