diff options
| author | Danilo M. <danix@danix.xyz> | 2026-06-24 10:35:21 +0200 |
|---|---|---|
| committer | Danilo M. <danix@danix.xyz> | 2026-06-24 10:35:21 +0200 |
| commit | ffe0864406cd67f82071becf494f0dd9e701e149 (patch) | |
| tree | bed553a5f68dc77e21f16414982f0352b6196d5c /skills | |
| parent | 40cd61ce7e0c4a8d35d0e0a505994f9f9b5e4d67 (diff) | |
| download | gitctl-ffe0864406cd67f82071becf494f0dd9e701e149.tar.gz gitctl-ffe0864406cd67f82071becf494f0dd9e701e149.zip | |
docs: document repo-name completion and the server: output prefix
- README: completion note now covers repo-name completion for
desc/delete/add-remote, not just --section; new Notes entry on the
server: prefix for helper/sync passthrough.
- SKILL.md: gotcha explaining that server:-prefixed lines are remote
echo (not errors) and that repo list output is not prefixed.
Docs only. (The global ~/.claude copy of the skill got the same gotcha,
outside the repo.)
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Diffstat (limited to 'skills')
| -rw-r--r-- | skills/gitctl/SKILL.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/skills/gitctl/SKILL.md b/skills/gitctl/SKILL.md index a37c1f7..a340546 100644 --- a/skills/gitctl/SKILL.md +++ b/skills/gitctl/SKILL.md @@ -71,6 +71,9 @@ git push -u origin master - **`--desc` is the only way to set a cgit description.** It writes the bare repo's `description` file and runs the sync script (the single writer of `repo.desc=`). Never write `repo.desc=` directly. +- **Output prefixed `server: ` is the helper/sync script talking, not gitctl.** + Lines like `server: No changes.` during create/delete are normal remote echo, + not errors. `repo list` output is NOT prefixed (it is reformatted locally). ## Discovering current state |