Skip to content

chore: add AGENTS.md importing the Copilot instructions - #2593

Merged
rkaraivanov merged 2 commits into
masterfrom
dpetev/agents-md
Nov 12, 2026
Merged

rkaraivanov merged 2 commits into
masterfrom
dpetev/agents-md

Conversation

@damyanpetev

Copy link
Copy Markdown
Member

Claude missed the spec update on #2592 because it wasn't looking at the copilot instructions, so figured a general AGENTS.md might not be a bad idea.

Description

Adds a root AGENTS.md that points coding agents at .github/copilot-instructions.md, so they follow the same project rules as Copilot, such as updating a component's spec.md in the same change. Claude Code loads the file through the @ import; other agents read the line as a pointer. Copilot keeps reading copilot-instructions.md directly.

Type of Change

  • Documentation update

🤖 Generated with Claude Code

@damyanpetev damyanpetev added the documentation Improvements or additions to documentation label Nov 12, 2026
Copilot AI lite review requested due to automatic review settings November 12, 2026 13:52

Copilot AI left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🟢 Approval recommended

No active review issues remain, and the change only adds a root-level pointer to the repository’s existing Copilot instructions.

No open issues 🎉

What changed in this PR

Adds a root-level AGENTS.md so coding agents can discover and follow the repository's existing Copilot instructions.

Changes:

  • Adds a pointer to .github/copilot-instructions.md.
  • Reuses the canonical project guidance without duplicating or changing it.
File Description
AGENTS.md Adds a root-level instruction pointer directing coding agents to the shared Copilot project instructions.

Review effort: Lite

@rkaraivanov
rkaraivanov merged commit 67548f1 into master Nov 12, 2026
10 checks passed
@rkaraivanov
rkaraivanov deleted the dpetev/agents-md branch November 12, 2026 14:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants