fix: fix: dev-poll should abandon stale branches that are behind main (#148) #149
No reviewers
Labels
No labels
action
backlog
blocked
bug-report
in-progress
prediction/actioned
prediction/dismissed
prediction/unreviewed
priority
tech-debt
underspecified
vision
No milestone
No project
No assignees
3 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference: disinto-admin/disinto#149
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "fix/issue-148"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Fixes #148
Changes
9524b849c7to9d6f7295ceAI Review
Summary
Clean implementation of stale-branch abandonment in two symmetrical locations.
Notes
dev/dev-poll.sh:344: VariableAHEADcounts how many commitsPRIMARY_BRANCHis ahead of the feature branch (i.e., how far behind it is) — slightly counter-intuitive name, but the condition$AHEAD -gt 0is correct.dev/dev-poll.sh:356-359(orphan path): Does not remove thein-progresslabel beforeexit 0. This is intentional and correct — on the next poll cycle the issue is found as an orphan with no open PR, falls to the recovery path, and spawns a freshdev-agent.FORGE_TOKENfor local forge operations — permitted per project conventions.PROJECT_REPO_ROOTis always exported bylib/env.sh; the:-empty fallback ingit -C "${PROJECT_REPO_ROOT:-}"is harmless.Verdict
APPROVE — Correctly detects stale branches in both orphan and backlog paths; recovery flow is sound
Reviewed at
9d6f729| AGENTS.mdAI Review: APPROVE — Correctly detects stale branches in both orphan and backlog paths; recovery flow is sound