From 2f642155e54b1f9f84598a21ef1dcd1bc203b484 Mon Sep 17 00:00:00 2001
From: ilia <idobkin@gmail.com>
Date: Wed, 5 Aug 2026 17:30:14 -0400
Subject: [PATCH] Note GitHub mirror sync after public docs releases

---
 docs/writing-docs.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/writing-docs.md b/docs/writing-docs.md
index 0f93e49..efec301 100644
--- a/docs/writing-docs.md
+++ b/docs/writing-docs.md
@@ -118,6 +118,10 @@ Public READMEs and guides:
 Private homelab docs (ansible, hermes, levkin) may name hosts and IPs.
 Still skip emoji and marketing tone.
 
+Repos under `Gitilia/*` are push mirrors from Gitea. After merging a release or
+public README/docs change, sync and verify from the ansible repo:
+`make github-mirror-sync` then `make github-mirror-health` (see
+`ansible/docs/guides/github-mirrors.md`).
 ## When rewriting existing docs
 
 1. Preserve every real fact (commands, paths, versions, URLs).