@sjawhar/pi-envoy 10.17.5 → 10.17.6
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
|
@@ -167,7 +167,9 @@ advertises.
|
|
|
167
167
|
Subscribe to `notifications.github.example-org.example-repo.pr.42.>` and end the turn. The single
|
|
168
168
|
`pr.42.checks` event whose `sha` is the current head wakes you when it settles (an earlier
|
|
169
169
|
commit's settlement can arrive first); a `pr.42` `closed` event with
|
|
170
|
-
`merged: true` tells you the PR merged. Do not create `gh` pollers.
|
|
170
|
+
`merged: true` tells you the PR merged. Do not create `gh` pollers. A Legion implementer waits this
|
|
171
|
+
way only on a re-run of a red its task names; otherwise it pushes and completes its phase, and the
|
|
172
|
+
daemon reads CI for it (`skill://legion-worker`).
|
|
171
173
|
Settlement waits for the commit to be quiet for a few seconds, every reported check run to finish,
|
|
172
174
|
and every recorded GitHub check suite to be `completed`. It covers those reported checks and suites
|
|
173
175
|
for that commit, not GitHub's required-checks set; until then, a silent subscription is normal.
|