Skip to content

docs: sync fleet-managed AGENTS.md sections from hub - #491

Open
d-sorg-jules[bot] wants to merge 1 commit into
mainfrom
bot/sync-fleet-agents
Open

d-sorg-jules[bot] wants to merge 1 commit into
mainfrom
bot/sync-fleet-agents

Conversation

@d-sorg-jules

@d-sorg-jules d-sorg-jules Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

Summary

Propagates fleet-managed sections from the central Repository_Management/AGENTS.md to this repository.

Changes

  • AGENTS.md: the synced fleet core (short summaries plus links to the full rules in Repository_Management/fleet-rules/).
  • CLAUDE.md: the @AGENTS.md import stub (Repository_Management#1897). Fleet-managed blocks are removed; any repo-specific notes left below the import should move into AGENTS.md.
  • .claude/settings.json (only when changed): "outputStyle": "Proactive" added because the key was missing; every other key is kept in order (Repository_Management#2135). A different existing value, invalid JSON, or a gitignored file is never touched.
  • Agent hooks (when changed): canonical fleet-hooks/ + scripts/agent-check* files copied from the hub, then provider adapters regenerated (.cursor/hooks.json, .codex/hooks.json, .agents/hooks.json, merged .claude/settings.json / .gemini/settings.json, fleet-hooks/pre-push.sample).

Fleet-managed sections are delimited by <!-- BEGIN/END FLEET-MANAGED: tag --> markers and should not be edited directly in individual repos.

Auto-generated

This PR was created by scripts/sync_fleet_agents_sections.sh in Repository_Management.

Propagates the fleet-managed sections from the central
Repository_Management/AGENTS.md into AGENTS.md, the single source of agent
guidance, and makes CLAUDE.md the @AGENTS.md import stub so Claude Code loads
the same rules without a duplicated copy (Repository_Management#1897).
When git tracks it, .claude/settings.json gains outputStyle=Proactive if the
key is missing; other keys are kept (Repository_Management#2135).
@d-sorg-jules
d-sorg-jules Bot enabled auto-merge November 8, 2026 02:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants