Skip to content

ci🔧: stop mirroring the repository - #265

Open
wenjianzhang wants to merge 1 commit into
masterfrom
ci/stop-gitee-mirror
Open

ci🔧: stop mirroring the repository#265
wenjianzhang wants to merge 1 commit into
masterfrom
ci/stop-gitee-mirror

Conversation

@wenjianzhang

@wenjianzhang wenjianzhang commented Aug 22, 2026

Copy link
Copy Markdown
Member

Removes the mirror workflow. Every push was mirrored to Gitee and GitLab; neither is wanted any more, so the whole file goes rather than half of it.

The workflow is already disabled at the repository level, which takes effect immediately and across every branch — deleting the file only settles it on master, because a push event runs the workflow from the ref that was pushed, so branches cut before this still carry their own copy.

GITEE_KEY and GITLAB_KEY are left in place. Restoring the mirror is a revert of this commit plus re-enabling the workflow.

Matches go-admin#868.

Copilot AI lite review requested due to automatic review settings August 22, 2026 09:42

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR updates the repository’s GitHub Actions mirroring workflow to stop mirroring to Gitee, aligning the UI repo with go-admin’s decision to discontinue Gitee mirroring while keeping the GitLab mirroring behavior unchanged.

Changes:

  • Removed the mirror_to_gitee job from the mirror workflow.
  • Kept the existing GitLab mirroring job intact (no behavioral changes there).

💡 Add a code-review agent skill or configure MCP servers for context-aware, tailored reviews. Learn more in the docs.

Every push mirrored to Gitee and GitLab. Neither mirror is wanted any
more, so the workflow goes rather than half of it.

The GITEE_KEY and GITLAB_KEY secrets are left in place; restoring the
mirror is a revert of this commit.
@wenjianzhang wenjianzhang changed the title ci🔧: stop mirroring to Gitee ci🔧: stop mirroring the repository Aug 22, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants