Merge remote-tracking branch 'origin/main' into fix/worktree-login-pin

2026-08-10 18:24:45 +05:00
parent 1d7abc11ae 40016e06f2
commit bb964d5a55
9 changed files with 962 additions and 56 deletions
@@ -184,7 +184,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