Skip to content

gains default AGENTS.md#7

Open
jdhoffa wants to merge 1 commit into
mainfrom
add-agents
Open

gains default AGENTS.md#7
jdhoffa wants to merge 1 commit into
mainfrom
add-agents

Conversation

@jdhoffa

@jdhoffa jdhoffa commented Jul 10, 2026

Copy link
Copy Markdown
Contributor

@jdhoffa jdhoffa requested a review from john as a code owner July 10, 2026 13:35
@jdhoffa jdhoffa requested review from a team, AlexAxthelm, HughRunyan, andre-scheinwald, atecza-rmi, cjyetman, jacobvjk, mbarlow12 and rosewangrmi and removed request for a team July 10, 2026 13:36
@AlexAxthelm

Copy link
Copy Markdown

@jdhoffa Does this actually affect RMI's copilot instances?

@jdhoffa

jdhoffa commented Jul 10, 2026

Copy link
Copy Markdown
Contributor Author

@jdhoffa Does this actually affect RMI's copilot instances?

As I understand it:

  • This AGENTS.md will act as a fallback in any repository that doesn't already have a file sitting at .github/AGENTS.md
  • So in case a repository doesn't have any AGENTS.md, this one would appear
  • If a repository does already have a .github/AGENTS.md then that would take precedence

Based on Copilot's documentation, Copilot will look for an AGENTS.md anywhere in the repo (including under .github.

So I believe it should get recognized yeah?

@jdhoffa

jdhoffa commented Jul 10, 2026

Copy link
Copy Markdown
Contributor Author

At least that's what I understand, but I could be wrong :-)

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.

3 participants