Skip to content

Add repository-root AGENTS.md with agent-specific operating guidance#234

Merged
WirelessLife merged 2 commits into
mainfrom
copilot/add-agents-md-file
May 18, 2026
Merged

Add repository-root AGENTS.md with agent-specific operating guidance#234
WirelessLife merged 2 commits into
mainfrom
copilot/add-agents-md-file

Conversation

Copilot AI commented May 18, 2026

Copy link
Copy Markdown
Contributor

The issue requested adding a new AGENTS.md file at the repository root (only if missing) with actionable agent guidance tailored to this repository’s structure and workflows. This PR adds that file with project-specific instructions aligned to the repo’s documentation-first, module-based layout.

  • Project context for agents

    • Documents repository purpose, module-oriented structure, and where key governance files live (CONTRIBUTING.md, SECURITY.md, workflows).
  • Execution and workflow guidance

    • Adds concrete setup/navigation/search commands appropriate for this repo (no single root package project).
    • Defines how to scope edits to lesson modules and preserve existing file/link conventions.
  • Validation and contribution expectations

    • Captures practical pre-PR checks for this repo type (diff/path/reference verification).
    • Includes PR-focused guidance and security handling expectations consistent with repository policies.
## Testing instructions

There is currently no repository-wide automated lint/test/build command at the root.

Before submitting:
- Check Markdown and links manually in changed files.
- Validate changed file paths and references:
  - `git diff --name-only`
  - `git diff --check`

Copilot AI linked an issue May 18, 2026 that may be closed by this pull request
Copilot AI changed the title [WIP] Add AGENTS.md file to repository Add repository-root AGENTS.md with agent-specific operating guidance May 18, 2026
Copilot AI requested a review from WirelessLife May 18, 2026 02:49
@WirelessLife WirelessLife marked this pull request as ready for review May 18, 2026 02:51
@WirelessLife WirelessLife merged commit 31e65f1 into main May 18, 2026
2 checks passed
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.

Add AGENTS.md file

2 participants