diff options
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 |