Decide the publish destination of a release (MIL-004 task 4) #79

Merged
Tirsvad merged 2 commits from mil-004-publish-destination into main 2026-10-10 16:59:09 +02:00
Owner

Decides the publish destination of a release (MIL-004 task 4).

  • ADR-0007: a release is published as the release page of this repository on Gitea, created from the changelog entry, with no package and no attachments. The release workflow uses the token of its own run (write access to this repository only); fallback is a dedicated TOKEN_FOR_GITEA_RELEASE. TOKEN_FOR_GITEA is not used.
  • RC-047 review, TM-001 updated, release-process guide names the destination.

No wiki page changed.

Closes #23

Decides the publish destination of a release (MIL-004 task 4). - ADR-0007: a release is published as the release page of this repository on Gitea, created from the changelog entry, with no package and no attachments. The release workflow uses the token of its own run (write access to this repository only); fallback is a dedicated `TOKEN_FOR_GITEA_RELEASE`. `TOKEN_FOR_GITEA` is not used. - RC-047 review, TM-001 updated, release-process guide names the destination. No wiki page changed. Closes #23
Tirsvad added 2 commits 2026-10-10 16:58:47 +02:00
Task: MIL-004#4
Resolve pending commit links in the publish destination documents
TirSystem/github-action: Publish wiki / publish-wiki (push) Skipped
TirSystem/github-action: Sync GitHub mirror metadata / sync-metadata (push) Skipped
Validate workflows / validate (pull_request) Successful in 14s
dbaf272fe5
Task: MIL-004#4
Tirsvad merged commit 9ccefa5e3b into main 2026-10-10 16:59:09 +02:00
Tirsvad deleted branch mil-004-publish-destination 2026-10-10 16:59:09 +02:00
Sign in to join this conversation.