Tirsvad 0c06789a27 Skip metadata sync successfully when no GitHub mirror exists ...

Not every Gitea repository has a GitHub push mirror. Zero GitHub mirrors
now ends the run successfully without reading the GitHub secret; several
mirrors still fail. Tests, guides, README, BC-001, PP-001 and MIL-001
are updated to match.

Task: MIL-001#1
Task: MIL-001#5

2026-10-10 07:57:58 +08:00

..

sync-github-metadata.yml

Skip metadata sync successfully when no GitHub mirror exists

2026-10-10 07:57:58 +08:00