Repository navigation

Fix gitignored ledger/manifest silently dropped (#1638) - #1640

Merged

Mikola Lysenko (mikolalysenko) merged 8 commits into

mainfrom

agent/fix-committed-state-gitignored

Oct 22, 2026

Merged

Fix gitignored ledger/manifest silently dropped (#1638)#1640
Mikola Lysenko (mikolalysenko) merged 8 commits into
mainfrom
agent/fix-committed-state-gitignored

Commits on Oct 20, 2026
- Start fix for #1638
  Claude (claude)
  committed
  6001c19
- Refuse vendoring when git ignores the ledger
  Claude (claude)
  committed
  1a5ccb9
- Warn when git ignores the agent manifest
  Claude (claude)
  committed
  feeb51a
- Refuse hosted-to-vendored eject on ignored ledger
  Claude (claude)
  committed
  bd5ddd3
- Honour tracked files and dir rules in ignore check
  Claude (claude)
  committed
  8caf8d6
- Pin setup-uv to 0.13.1 for the Pipenv legs
  Claude (claude)
  committed
  1a25bb3
- Move emit_eject_refusal's doc comment back onto it
  Claude (claude)
  committed
  6094254
Commits on Oct 21, 2026
- Merge main into agent/fix-committed-state-gitignored
  Claude (claude)
  committed
  6aab991