Merge remote-tracking branch 'origin/main' into fix/no-store-for-label-payloads

# Conflicts: # skills/sync/scripts/_gitea.py
2026-08-10 18:23:39 +05:00
parent 627df76812 c18b16a14b
commit 2a8da81359
9 changed files with 962 additions and 56 deletions
@@ -146,7 +146,9 @@ line so plain grep works without a parser.
 - **A successful push deletes the local file** (`<id>.md` and
  `<id>.comments.md`), and prints the number and URL the issue now lives at.
  `--update` too: one rule, no exception. What is in the store is what has not
-  left. Get it back with `pull.py <n>`.
+  left. Get it back with `pull.py <n>` — which brings its blockers back with it:
+  a pull returns the unit of work, not one row of it. `--no-deps` narrows it to
+  the one issue, and the cost of the default is in `pull.py`'s docstring.
 - Deletion happens only after a confirmed tracker response and only after
  `.remote.json` has been written. Network down, non-2xx, an answer that does
  not carry the right number: the file stays and the run stops. A never-pushed