Skip to content

Conversation

@dbutenhof
Copy link
Owner

This uses the GitHub GraphQL API to find linked PRs that will close an issue. The UI will report "(closed by )"

This uses the GitHub GraphQL API to find linked PRs that will close an issue.
The UI will report "(closed by <pr>)"
@dbutenhof dbutenhof self-assigned this Jan 9, 2026
@dbutenhof dbutenhof merged commit 0c53ad5 into main Jan 9, 2026
4 checks passed
@dbutenhof dbutenhof deleted the link branch January 9, 2026 20:30
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.

2 participants