Skip to content

Improve agents related toolings/docs - #9264

Merged
robert3005 merged 5 commits into
developfrom
adamg/work
Aug 7, 2026
Merged

Improve agents related toolings/docs#9264
robert3005 merged 5 commits into
developfrom
adamg/work

Conversation

@AdamGS

@AdamGS AdamGS commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Rationale for this change

  1. Remove the PR review skill, all agents have this functionality these days.
  2. Minimize the top level AGENTS.md, point to other more specific ones
  3. Move benchmark guidelines to STYLE.md
  4. Create AGENTS.md files for vortex-python and docs/, hopefully making the process around them clearer and better documented.

Signed-off-by: Adam Gutglick <adam@spiraldb.com>
@AdamGS AdamGS added the changelog/chore A trivial change label Aug 7, 2026
@AdamGS
AdamGS marked this pull request as draft August 7, 2026 10:34
@AdamGS

AdamGS commented Aug 7, 2026

Copy link
Copy Markdown
Contributor Author

realized I didn't push everything I meant to push, just a sec

AdamGS added 3 commits August 7, 2026 11:41
Signed-off-by: Adam Gutglick <adam@spiraldb.com>
Signed-off-by: Adam Gutglick <adam@spiraldb.com>
Signed-off-by: Adam Gutglick <adam@spiraldb.com>
@AdamGS
AdamGS marked this pull request as ready for review August 7, 2026 12:10
@robert3005
robert3005 merged commit 81bbae3 into develop Aug 7, 2026
79 checks passed
@robert3005
robert3005 deleted the adamg/work branch August 7, 2026 12:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/chore A trivial change

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants