From 0df19397888d55114bc0fc12ff530dea74001b66 Mon Sep 17 00:00:00 2001
From: Chris Busillo <info@shinycomputers.com>
Date: Sun, 10 May 2026 15:05:10 -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 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.