Skip to content

Remove foreign .agents/PROJECT.md - #28

Merged
einari merged 1 commit into
mainfrom
chore/remove-foreign-project-md
Aug 10, 2026
Merged

Remove foreign .agents/PROJECT.md#28
einari merged 1 commit into
mainfrom
chore/remove-foreign-project-md

Conversation

@einari

@einari einari commented Aug 10, 2026

Copy link
Copy Markdown
Contributor

Removed

  • .agents/PROJECT.md, which described the Chronicle Workbench rather than this repository.

A broken instruction-sync mechanism propagated Chronicle's .agents/PROJECT.md across the organization. This repository never authored one of its own — every version in its history came from the sync — so the file here documented Chronicle's dev ports and local sign-in credentials as if they were this repository's project-local truth.

There is nothing to restore: the correct state is absence, which the shared corpus already handles by reading .agents/PROJECT.md only if it exists. The deletion remains recoverable from git history should this repository later want a PROJECT.md of its own.

The root cause is fixed and merged in Cratis/Workflows (5ae82e5): .agents/PROJECT.md is now excluded unconditionally from both propagation and bootstrap cleanup, so this deletion will not be undone by a later sync.

Documentation-only — intentionally carries no version label.

This file was never authored in this repository. A broken instruction-sync
mechanism propagated Chronicle's .agents/PROJECT.md across the organization,
so the content here describes the Chronicle Workbench - its dev ports and
local sign-in credentials - rather than this repository.

.agents/PROJECT.md is read as project-local truth by every agent session, so
leaving Chronicle's copy in place actively misinforms. There is nothing to
restore: this repository never had a PROJECT.md of its own, and the shared
corpus reads the file only if it exists. The deletion stays recoverable from
git history should this repository ever want one.

The root cause is fixed in Cratis/Workflows (5ae82e5): .agents/PROJECT.md is
now excluded unconditionally from both propagation and bootstrap cleanup, so
this deletion will not be undone by a later sync.
@einari
einari merged commit 57e3bef into main Aug 10, 2026
@einari
einari deleted the chore/remove-foreign-project-md branch August 10, 2026 14:51
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.

1 participant