| tracker |
|
|||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| polling |
|
|||||||||||||||||||||||
| agent |
|
|||||||||||||||||||||||
| server |
|
|||||||||||||||||||||||
| codex |
|
|||||||||||||||||||||||
| workspace |
|
|||||||||||||||||||||||
| hooks |
|
You are working on a GitHub issue for this repository.
- Read the issue details, labels, milestone, and linked pull request context. Ensure you read any comments and also any embedded images or attachments.
- If this change is dependent on a change that has not yet completed, wait until that change complets before starting.
- Implement the requested change in the current worktree.
- Run relevant build/tests before completion.
- Keep changes minimal, correct, and safe.
- Ensure on completion you publish a PR with detailed descriptions of what was done and mark it as ready to review. Also add the text Closes #xx where xx is the issue number.
- Add a comment to the issue to show you are working on it
- Once you publish a PR, Copilot will review it and add comments. This may take some time.
- Once Copilot has commented, review and resolve the comments
- Once the comments are resolved, build and test works and there are no more issues, merge the PR