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 47a8671..d369cb7 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -91,5 +91,5 @@ debugging why the app and widget disagree.
 
 - Default branch: `main`.
 - Work on focused branches and open pull requests.
-- Keep `.github/github-repo-workflow.json` current when docs, validation gates,
+- Keep `.github/github.json` current when docs, validation gates,
   important workflows, or repo ownership assumptions change.