Skip to content

RFC, docs: Add AGENTS.md - #3821

Open
FBruzzesi wants to merge 4 commits into
mainfrom
docs/AGENTS-md
Open

RFC, docs: Add AGENTS.md #3821
FBruzzesi wants to merge 4 commits into
mainfrom
docs/AGENTS-md

Conversation

@FBruzzesi

@FBruzzesi FBruzzesi commented Jul 26, 2026

Copy link
Copy Markdown
Member

Description

We started to observe more a more PRs which are LLM generated. As mentioned in #3632, I would not oppose to having an AGENTS.md file - this can point the agent to the checks it needs to run before finalizing its work.

The alternative is having myself or other reviewers checking out the PR just to realize something as simple as pre-commit hooks were not installed (see #3816) or make typing was not run locally.

Triggering CI for that is also a waste of resources which I would like to avoid. Consider this an additional protection layer before we do any review.

Tip

Using "Display the rich diff" will make your life much easier in reviewing this PR

What type of PR is this? (check all applicable)

  • 💾 Refactor
  • ✨ Feature
  • 🐛 Bug Fix
  • 🔧 Optimization
  • 📝 Documentation
  • ✅ Test
  • 🐳 Other

Related issues

@FBruzzesi FBruzzesi added the documentation Improvements or additions to documentation label Jul 26, 2026
@FBruzzesi FBruzzesi mentioned this pull request Jul 26, 2026
6 tasks
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.

2 participants