diff --git a/.github/github-repo-workflow.json b/.github/github.json similarity index 100% rename from .github/github-repo-workflow.json rename to .github/github.json diff --git a/AGENTS.md b/AGENTS.md index 0e6c268a586b..ac3b3e366c67 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -1,6 +1,6 @@ # Rust/codex-rs -Repo workflow metadata lives in `.github/github-repo-workflow.json`; keep that +Repo workflow metadata lives in `.github/github.json`; keep that file aligned with branch roles, validation gates, GitHub signal capabilities, workflow names, docs routing, and local cleanup policy when those facts change.