Repository navigation
Sync upstream master daily while preserving main workflow - #2
Closed
inkydragon with Copilot wants to merge 6 commits into
Closed
inkydragon with Copilot wants to merge 6 commits into
inkydragon with Copilot wants to merge 6 commits into
Conversation
Closed
Co-authored-by: inkydragon <5158738+inkydragon@users.noreply.github.com>
Co-authored-by: inkydragon <5158738+inkydragon@users.noreply.github.com>
Copilot
AI
changed the title
[WIP] Set up automatic upstream sync to main branch
Automate daily upstream synchronization
Sep 7, 2026
Copilot stopped work on behalf of
inkydragon due to an error
September 7, 2026 14:55
Co-authored-by: inkydragon <5158738+inkydragon@users.noreply.github.com>
Co-authored-by: inkydragon <5158738+inkydragon@users.noreply.github.com>
Co-authored-by: inkydragon <5158738+inkydragon@users.noreply.github.com>
inkydragon
requested changes
Sep 7, 2026
inkydragon
left a comment
inkydragon
left a comment
Collaborator
There was a problem hiding this comment.
推送的分支错误，不应推送到主分支
on 条件错误
inkydragon
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
The GitHub default branch
mainhosts the synchronization workflow, whilemastermirrors the official GitLabmastercommit-for-commit. Previously the proposed workflow overwrotemain, which would remove its own scheduled workflow.The workflow fetches https://gitlab.inria.fr/core-math/core-math.git and updates only
refs/heads/master, including upstream history rewrites. It runs daily at 06:00 UTC+8 (0 22 * * *UTC) and supports manual dispatch. Concurrent runs are serialized and limited to ten minutes. No build jobs run, and GitLab CI is unchanged.GitHub Actions is enabled. Scheduling takes effect after this PR is merged into
main; GitHub may delay scheduled runs. The initialmastermirror is also being published directly from the fetched upstream commit.