ci: Fix the repo-sync workflow - #7

ci: Fix the repo-sync workflow#7

samuelburnham merged 1 commit into

devargumentcomputer/lean4lean:devfrom

ci/repo-sync-via-ci-workflowsargumentcomputer/lean4lean:ci/repo-sync-via-ci-workflowsCopy head branch name to clipboard