1.2 KiB
1.2 KiB
name, description
| name | description |
|---|---|
| repo-sync | Batch-sync all readable repos of a chosen Gitea owner into the working directory. List owners, let the user pick, then clone or update each repo; local changes become a branch, commit, push, and PR to develop or master. Use for workspace bootstrap or bulk refresh; not for a single repo. |
repo-sync — batch-sync repositories
Steps
- Run
tools/gitea.sh ownersto list every{owner}the user can read. - Ask the user which
{owner}to sync, per thejsc-ask:askrules. Every option states the owner's repo count and impact scope. - Run
tools/gitea.sh repos {owner}to list every readable{repo}under that owner. - Sync each
{repo}one by one. This step MUST run as a sub agent (one sub agent per repo):- Missing locally →
git cloneinto the working directory (clone URL fromtools/gitea.sh clone-url). - Present locally → switch to
develop, elsemaster(or the result oftools/gitea.sh default-branch), thengit pull. - Local file changes → create a branch from develop or master, commit via
jsc-git:commit, push, then open a PR back to develop or master viajsc-git:pr.
- Missing locally →
- Report the sync result for every repo: cloned, updated, PR created, or the failure reason.