mirrorRepo
Same result as the website Push of a GitHub/GitLab repo. Copies the forge commits onto gittr (keeps history, updates an existing repo), announces the same git servers as the website, and publishes the branch tips with HEAD on the forge…
Instructions
Same result as the website Push of a GitHub/GitLab repo. Copies the forge commits onto gittr (keeps history, updates an existing repo), announces the same git servers as the website, and publishes the branch tips with HEAD on the forge default branch. A second call keeps the existing name, description, and web links unless you pass new ones. Do not follow this with pushToBridge. If the forge returns 403 (account suspended or blocked), do not call this again and do not pass a different URL to change the source: this copies that URL onto the gittr bare repo and replaces every branch. Read the existing copy with bridgeListFiles after git ls-remote on https://git.gittr.space//.git. A new forge URL is not a way to leave a dead host: the owner uses the website sidebar If this git host is gone. See docs/AGENT-WORKFLOW.md.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| web | No | Website links. Omit to keep the links already announced. | |
| name | No | Display title. Omit to keep the title already announced. | |
| relays | No | ||
| privkey | No | Private key (auto-loaded) | |
| repoName | Yes | gittr repo name (the d tag), not the display title | |
| sourceUrl | Yes | GitHub or GitLab clone URL | |
| publicRead | No | false = private mirror. Default true. | |
| description | No | Omit to keep the description already announced. | |
| graspServer | No |