From 1a375df952fea74a4eb547e0134adc9c35d7671a Mon Sep 17 00:00:00 2001 From: Chris Busillo Date: Sun, 10 May 2026 15:05:11 -0400 Subject: [PATCH] Move repo workflow metadata to github.json --- .github/{github-repo-workflow.json => github.json} | 0 AGENTS.md | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename .github/{github-repo-workflow.json => github.json} (100%) 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.