Given that there had been no new comments in the l...
# team-maintainers
i
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
shared a GIF
m
How about the plugin AGENTS.md?
I would very much like that too while we're at it
m
Do we have comparison prs, once with agents.md once without to show the actual benefit of the file?
i
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
I can give it a go if someone points at a nice, contained issue to test on