Skip to content

chore: promote issue-mirrors-PR-Status fix to main - #34

Merged
LukasWodka merged 1 commit into
mainfrom
develop
Apr 30, 2026
Merged

chore: promote issue-mirrors-PR-Status fix to main#34
LukasWodka merged 1 commit into
mainfrom
develop

Conversation

@LukasWodka

Copy link
Copy Markdown
Contributor

Promotes.

…tus (#33)
Caught by Asad. When a PR closes a linked issue (via 'Closes #N') and the PR
is still in Functional review (merged to develop, awaiting prod), the issue
was being routed independently to Done — splitting the pair.
Fix: on issue closed-as-completed, look up the closing PR via timeline and
mirror its resulting Status (Functional review for develop/staging, Done for
main/master, Done as default for manually-closed issues with no linked PR).
Sign up for freeto 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.

1 participant

@LukasWodka