Skip to content

chore: set up Copilot coding agent instructions#74

Merged
deviantintegral merged 3 commits intomainfrom
copilot/setup-copilot-instructions
Mar 8, 2026
Merged

chore: set up Copilot coding agent instructions#74
deviantintegral merged 3 commits intomainfrom
copilot/setup-copilot-instructions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 8, 2026

GitHub Copilot coding agent has no repository-specific context, leading to suboptimal suggestions (wrong package manager, missing conventions, etc.).

Changes

  • AGENTS.md: Updated as the canonical agent instructions document, adding a project description and a new Architecture section covering async-first design (aiohttp), Azure AD B2C auth (msal), optional textual TUI, strict mypy, and the 95% coverage floor.
  • .github/copilot-instructions.md: Symlink to ../AGENTS.md so GitHub Copilot reads the same canonical content without duplication.
Original prompt

This section details on the original issue you should resolve

<issue_title>✨ Set up Copilot instructions</issue_title>
<issue_description>Configure instructions for this repository as documented in Best practices for Copilot coding agent in your repository.

</issue_description>

Comments on the Issue (you are @copilot in this section)


🔒 GitHub Advanced Security automatically protects Copilot coding agent pull requests. You can protect all pull requests by enabling Advanced Security for your repositories. Learn more about Advanced Security.

Copilot AI changed the title [WIP] Set up Copilot instructions for repository chore: set up Copilot coding agent instructions Mar 8, 2026
@deviantintegral
Copy link
Copy Markdown
Owner

@copilot I want AGENTS.md in the repo root to be the canonical document. Please merge any unique aspects of this document there. Then, symlink the copilot instructions to AGENTS.md.

Copy link
Copy Markdown
Contributor Author

Copilot AI commented Mar 8, 2026

@copilot I want AGENTS.md in the repo root to be the canonical document. Please merge any unique aspects of this document there. Then, symlink the copilot instructions to AGENTS.md.

Done in 3701b06. Merged the unique content from copilot-instructions.md (project description and Architecture section) into AGENTS.md, then replaced .github/copilot-instructions.md with a symlink to ../AGENTS.md.

Comment thread AGENTS.md Outdated
@deviantintegral deviantintegral marked this pull request as ready for review March 8, 2026 13:08
Copilot AI and others added 3 commits March 8, 2026 09:08
Co-authored-by: deviantintegral <255023+deviantintegral@users.noreply.github.com>
- Merge unique content (project description, Architecture section) from
  .github/copilot-instructions.md into AGENTS.md
- Replace .github/copilot-instructions.md with a symlink to ../AGENTS.md

Co-authored-by: deviantintegral <255023+deviantintegral@users.noreply.github.com>
@deviantintegral deviantintegral force-pushed the copilot/setup-copilot-instructions branch from e6cbf56 to 2830c11 Compare March 8, 2026 13:08
@deviantintegral deviantintegral enabled auto-merge (squash) March 8, 2026 13:09
@deviantintegral deviantintegral merged commit dac62d7 into main Mar 8, 2026
5 checks passed
@deviantintegral deviantintegral deleted the copilot/setup-copilot-instructions branch March 8, 2026 13:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

✨ Set up Copilot instructions

2 participants