larvit/plainpages
3
0
Fork 0
Code Issues 1 Pull Requests 3 Actions 2 Packages Projects Releases Wiki Activity

CI: mirror main + tags to GitHub after every merge to main #3

Merged
lilleman merged 1 commits from github-mirror into main 2026-07-03 15:51:07 +02:00
Conversation 0 Commits 1 Files Changed 3
+34 -2
lilleman commented 2026-07-03 15:49:32 +02:00
Owner
Copy Link
Copy Source

Adds .gitea/workflows/mirror.yml: on push to main (or manual dispatch) it force-pushes refs/remotes/origin/main and all tags to https://github.com/larvit/plainpages over HTTPS, authenticated with a dedicated machine account's fine-grained PAT in the Actions secret MIRROR_GITHUB_TOKEN. README gets the true-home note at the top and the mirror setup steps under CI/CD. Until the secret is added the mirror job fails loud on each merge; trigger the workflow manually for the first sync.

Adds .gitea/workflows/mirror.yml: on push to main (or manual dispatch) it force-pushes refs/remotes/origin/main and all tags to https://github.com/larvit/plainpages over HTTPS, authenticated with a dedicated machine account's fine-grained PAT in the Actions secret MIRROR_GITHUB_TOKEN. README gets the true-home note at the top and the mirror setup steps under CI/CD. Until the secret is added the mirror job fails loud on each merge; trigger the workflow manually for the first sync.
lilleman added 1 commit 2026-07-03 15:49:32 +02:00
CI: mirror main + tags to GitHub after every merge to main; note true home in README
CI / full-gate (push) Successful in 2m28s
Details
Mirror / github-mirror (push) Successful in 2s
Details
6e60df7008
lilleman merged commit 6e60df7008 into main 2026-07-03 15:51:07 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
claes.eismar.se lilleman (Lilleman auf Larv) martin.siden renovate-bot
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: larvit/plainpages#3
Delete Branch "github-mirror"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?