Skip to content

fix(inbox): hide audited merged runs - #87

Merged
tiammomo merged 2 commits into
mainfrom
tiammomo/fix/issue-86-inbox-terminal
Sep 5, 2026
Merged

fix(inbox): hide audited merged runs#87
tiammomo merged 2 commits into
mainfrom
tiammomo/fix/issue-86-inbox-terminal

Conversation

@tiammomo

@tiammomo tiammomo commented Aug 25, 2026

Copy link
Copy Markdown
Owner

Closes #86

What changed

  • Pass RepoSteward's latest native merge outcomes into the prompt-free maintainer inbox.
  • Suppress a tracked submitted PR only when it is absent from the fresh open-PR portfolio and its latest terminal outcome is exactly merged or already_merged.
  • Keep open PRs, incomplete facts, failed or unknown outcomes, and closed-unmerged work visible as attention items.
  • Document the terminal suppression boundary and add pipeline-level and behavior regression tests.

Why

Portfolio intentionally lists only open pull requests. Previously, every submitted run whose PR was no longer open became a P80 refresh_required item even when RepoSteward had already recorded an authoritative merge result. That made historical terminal work outrank current review and merge tasks.

Validation

  • Focused inbox tests: 7 passed
  • Full suite: 373 tests passed
  • Ruff lint and format checks, CLI smoke test, package build, and hardened verifier passed
  • Live read-only smoke test on this repository: 22 attention items reduced to 6; all 16 audited merged PRs disappeared while four active Draft PRs, one failed run, and one proposal review remained
  • No additional GitHub requests, Harness invocation, workspace mutation, or public write in the inbox path

Review focus

  • Fresh open-PR facts take precedence over local terminal history
  • Only the native merged and exact-head already_merged outcomes suppress an item
  • Missing, blocked, failed, unknown, and closed-unmerged states continue to fail closed

Automation disclosure

An external coding workspace assisted with the implementation and tests. tiammomo reviewed the final diff, understands it, and takes responsibility for this contribution.

tiammomo and others added 2 commits September 5, 2026 19:57
Signed-off-by: tiammomo <tiammomo@users.noreply.github.com>
Signed-off-by: maxinhong <maxinhong@myhexin.com>
@tiammomo
tiammomo force-pushed the tiammomo/fix/issue-86-inbox-terminal branch from e8307dd to d6bd38a Compare September 5, 2026 11:59
@tiammomo
tiammomo marked this pull request as ready for review September 5, 2026 12:00
@tiammomo
tiammomo merged commit dd98789 into main Sep 5, 2026
@tiammomo
tiammomo deleted the tiammomo/fix/issue-86-inbox-terminal branch September 5, 2026 12:03
tiammomo added a commit that referenced this pull request Sep 6, 2026
* fix(inbox): hide audited merged runs

Signed-off-by: tiammomo <tiammomo@users.noreply.github.com>

* fix(inbox): require complete portfolio for terminal suppression

Signed-off-by: tiammomo <26957354+tiammomo@users.noreply.github.com>

---------

Signed-off-by: tiammomo <tiammomo@users.noreply.github.com>
Signed-off-by: tiammomo <26957354+tiammomo@users.noreply.github.com>
Co-authored-by: tiammomo <tiammomo@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

fix(inbox): 隐藏已有合并审计的终态 PR 刷新噪声

1 participant