3 Commits

Include renames

Author	SHA1	Message	Date
jschoubben	fc573f951a	Remove only a move's proven second copy, and never delete a handed-out original (hq issue 558) ... Second review of #276: a dead letter delivered again beside its original shares its request id and was removed as a copy, losing the ask; and a publish that outlived the pause could delete an original a holder had taken. A copy now names the message it copies, removals are said, the publish waits inside the pause's margin, and an original handed out meanwhile keeps its place while the copy goes.	2026-10-12 21:46:49 +02:00
jschoubben	1ded7dff34	Make a queue move lossless and run its passes on the acting controller alone (hq issue 558) ... Review of #276: a move deleted before it published, so a failed publish lost an ask; a verb's own process ran a pass beside the serving one, so one could resume the queue while the other moved asks and a build ran twice. The copy is now published first and second copies removed by id, asks only signal the acting controller's loop, moves stop with 5 s of the pause left, a cancel finds a moved ask by id, and an unreadable ask keeps its age.	2026-10-12 21:38:11 +02:00
jschoubben	c6e234455f	Hand a delivery build out before pull-request checks (hq issue 558) ... A merged change's walk waited minutes on its build behind checks in a first-come queue. The queue now hands deliveries out first, a check that has waited ten minutes before deliveries asked after it, and says each ask's kind; the order is kept in the work queue itself.	2026-10-12 21:25:46 +02:00