From a1c2585df27f733b0979334ef93448872515f9b0 Mon Sep 17 00:00:00 2001 From: lofyer Date: Wed, 5 Aug 2026 21:56:55 +0800 Subject: [PATCH] docs: synchronize pushes across remotes --- AGENTS.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index 7b02e47..6f22540 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -106,3 +106,8 @@ make paid or external calls, so run them only with explicit authorization. Before committing or pushing, inspect `git status`, `git diff`, and `git diff --cached`. Do not commit secrets, local databases, logs, generated credentials, or private user artifacts. + +This repository has two synchronized remotes, `origin` and `github`. Unless the +user explicitly names a remote, every requested push must update the current +branch on both remotes, plus any tags explicitly included in the request. +Verify both remote refs after pushing.