tools/guitar-prometheus
tools/guitar-prometheus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fail fast when wiki publish secrets are missing #6

Merged
fragmented merged 1 commit from initial-development into mainline 2026-05-20 08:16:33 +00:00
Conversation 0 Commits 1 Files changed 1 +16 -5
fragmented commented 2026-05-20 08:16:29 +00:00
Owner
Copy link

Run 164 cleared the build + Doxygen + doxybook2 steps and
then died with fatal: unable to access 'https:///': URL rejected: No host part in the URL. Cause: the WIKI_URL
secret isn't configured on the repo, so the clone URL
expands to a host-less placeholder.

Add a precondition check that emits an ::error:: line
with the exact secret names + the URL where to set them.
The job still fails, but with a message that points at the
fix instead of a misleading git error.

WIKI_URL and WIKI_PUSH_TOKEN have to be set on the
Forgejo repo's Secrets page before publish-docs can push
to the wiki. (Forgejo reserves the FORGEJO_, GITEA_, and
GITHUB_ prefixes for system use, so the secrets cannot
use them.)

Run 164 cleared the build + Doxygen + doxybook2 steps and then died with `fatal: unable to access 'https:///': URL rejected: No host part in the URL`. Cause: the WIKI_URL secret isn't configured on the repo, so the clone URL expands to a host-less placeholder. Add a precondition check that emits an `::error::` line with the exact secret names + the URL where to set them. The job still fails, but with a message that points at the fix instead of a misleading git error. WIKI_URL and WIKI_PUSH_TOKEN have to be set on the Forgejo repo's Secrets page before publish-docs can push to the wiki. (Forgejo reserves the FORGEJO_, GITEA_, and GITHUB_ prefixes for system use, so the secrets cannot use them.)
Fail fast when wiki publish secrets are missing
All checks were successful
Publish Documentation / publish (push) Successful in 2m46s
Details
c3336cbfcd 
Run 164 cleared the build + Doxygen + doxybook2 steps and
then died with `fatal: unable to access 'https:///': URL
rejected: No host part in the URL`. Cause: the WIKI_URL
secret isn't configured on the repo, so the clone URL
expands to a host-less placeholder.

Add a precondition check that emits an `::error::` line
with the exact secret names + the URL where to set them.
The job still fails, but with a message that points at the
fix instead of a misleading git error.

WIKI_URL and WIKI_PUSH_TOKEN have to be set on the
Forgejo repo's Secrets page before publish-docs can push
to the wiki. (Forgejo reserves the FORGEJO_, GITEA_, and
GITHUB_ prefixes for system use, so the secrets cannot
use them.)
fragmented merged commit c3336cbfcd into mainline 2026-05-20 08:16:33 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
tools/guitar-prometheus!6
No description provided.