TirSystem/github-action
0
1
Fork 0
Code Issues 5 Pull Requests 1 Actions Packages Projects Releases 3 Wiki Activity

Skip the metadata sync successfully when no GitHub mirror exists #28

Merged
Tirsvad merged 2 commits from skip-sync-without-github-mirror into main 2026-10-10 01:58:54 +02:00
Conversation 0 Commits 2 Files Changed 9
+67 -28
2 Commits
Author SHA1 Message Date
Tirsvad ec0f6e2cf8 Resolve pending commit links in BC-001, PP-001 and MIL-001 version history
Validate workflows / validate (pull_request) Successful in 14s
Details 
Task: MIL-001#1
 2026-10-10 07:58:02 +08:00
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