From 551c23e1365bc68cc36c5ff2031b2879d2c7e8b2 Mon Sep 17 00:00:00 2001 From: Tirsvad Date: Sun, 11 Oct 2026 04:43:26 +0200 Subject: [PATCH] Publish wiki from the repository --- Troubleshooting.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Troubleshooting.md b/Troubleshooting.md index 736fc3e..cebe8e6 100644 --- a/Troubleshooting.md +++ b/Troubleshooting.md @@ -49,9 +49,9 @@ never starts, or stops before the step) is a **runner** problem. ## Not an error -`No GitHub push mirror configured for ; nothing to sync.` The run -succeeds. Not every Gitea repository has a GitHub mirror, so this is expected -for those. If the repository should have one, add it in the repository +`No GitHub push mirror configured for ; nothing to sync.` followed by +`Skipped`. The run succeeds. Not every Gitea repository has a GitHub mirror, so +this is expected for those. If the repository should have one, add it in the repository settings. `WARNING: Gitea returned an invalid push mirror list; GitHub metadata was not