larvit/smpp-js
3
0
Fork 0
Code Issues Pull Requests Actions Activity

Mirror every branch and tag to GitHub from CI, keeping what only GitHub has #5

Merged
lilleman merged 3 commits from github-mirror into main 2026-09-14 20:56:45 +02:00
Conversation 0 Commits 3 Files Changed 4
+82 -5
lilleman commented 2026-09-14 19:36:57 +02:00
Owner
Copy Link
Copy Source

Pushes every branch and tag to github.com/larvit/smpp-js on each push and nightly, overwriting a same-named ref without pruning, and deletes a ref there once it is deleted here. The push-mirror plan in todo.md now describes this.

Pushes every branch and tag to github.com/larvit/smpp-js on each push and nightly, overwriting a same-named ref without pruning, and deletes a ref there once it is deleted here. The push-mirror plan in todo.md now describes this.
lilleman added 2 commits 2026-09-14 20:40:40 +02:00
Mirror every branch and tag to GitHub from CI, keeping what only GitHub has 27e8f288ec
Split the GitHub mirror so Gitea creates its runs and no delete is dropped
Test / test (18) (pull_request) Successful in 18s
Details
Mirror / push (push) Successful in 5s
Details
Test / lint (pull_request) Successful in 20s
Details
Test / test (22) (pull_request) Successful in 22s
Details
Test / test (24) (pull_request) Successful in 17s
Details
Test / test (26) (pull_request) Successful in 17s
Details
Test / test (20) (pull_request) Successful in 18s
Details
14b114afda
lilleman force-pushed github-mirror from 190ddfffa1 to 14b114afda 2026-09-14 20:40:40 +02:00 Compare
lilleman added 1 commit 2026-09-14 20:54:07 +02:00
Say what the mirror's concurrency group does, and name every way a stale ref survives
Test / lint (pull_request) Successful in 20s
Details
Test / test (26) (pull_request) Successful in 17s
Details
Mirror / push (push) Successful in 3s
Details
Test / test (18) (pull_request) Successful in 18s
Details
Test / test (20) (pull_request) Successful in 18s
Details
Test / test (22) (pull_request) Successful in 18s
Details
Test / test (24) (pull_request) Successful in 17s
Details
c5adfd8e39
lilleman marked the pull request as ready for review 2026-09-14 20:56:44 +02:00
lilleman merged commit c5adfd8e39 into main 2026-09-14 20:56:45 +02:00
lilleman deleted branch github-mirror 2026-09-14 20:56:45 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No Label
Milestone
No items
No Milestone
Assignees
Clear assignees
claes.eismar.se lilleman (Lilleman auf Larv) martin.siden
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: larvit/smpp-js#5
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?