chore: Stop tracking dotagents-managed artifacts

[szokeasaurusrex]

dotagents now manages agents.lock and .agents/.gitignore as local state and expects them gitignored. Remove the tracked leftovers, drop the stale comment in agents.toml, and document in AGENTS.md that skills must be installed via 'make develop'.

The .gitignore and agents.toml changes are per 'dotagents doctor --fix' recommendations.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
develop-docs	Ready	Preview	Jul 22, 2026 2:45pm
sentry-docs	Ready	Preview	Jul 22, 2026 2:45pm

[sfanahata]

@szokeasaurusrex - thank you for cleaning this up. What is the expected workflow here for people working with agents? Is it that they run make develop after a master pull or cloning the repo?

I want to think through how to make that explicit outside of AGENTS.md, since I doubt that folks pulling down the repo will be checking that file with any regularity.

[sfanahata]

Nothing blocking, but I have UX questions around how to properly instruct contributors on consistently getting skills and up to date skills to their cloned repo.

[szokeasaurusrex]

What is the expected workflow here for people working with agents? Is it that they run make develop after a master pull or cloning the repo?

@sfanahata Yeah, I believe so. To be honest, I am not a dotagents expert, but it appears that it is recommended to run dotagents install after pulling (this should be getting run by make develop in this repo). dotagents is documented in more depth on its landing page.

The main reason I raised this PR was because I noticed some skills were missing when I pulled this repo after some time of not working with it, and running dotagents install modified the checked-in skill files, because they were out of date with the dotagents-managed versions. This PR is intended only to fix the misconfiguration in this repo; it may be worth defining some automations to help folks keep dotagents up to date, e.g. via a git hook that runs after pull.