Given that there had been no new comments in the last few days, I have merged the pipeline AGENTS.md update. A question to everyone, but especially the core and infra teams: are there any blockers left before we can merge the tools PR and slate the AGENTS functionality for release?
doit 2
do it 1
p
Phil Ewels
09/16/2026, 10:05 AM
shared a GIF
m
Maxime Garcia
09/16/2026, 10:14 AM
How about the plugin AGENTS.md?
Maxime Garcia
09/16/2026, 10:14 AM
I would very much like that too while we're at it
m
mashehu
09/16/2026, 10:59 AM
Do we have comparison prs, once with agents.md once without to show the actual benefit of the file?
i
Igor Trujnara
09/16/2026, 11:01 AM
Still not, I don't have a suitable issue at the moment and nobody has volunteered. I vaguely remember @Maxime Garcia mentioned having some good tasks but he hasn't done anything specific so far
Igor Trujnara
09/16/2026, 11:02 AM
I can give it a go if someone points at a nice, contained issue to test on