Current
Only cards sourced from a GitHub issue get issueLink populated. A card whose origin is a PR has no auto-linked issue even when the PR body contains closes #N / fixes #N.
Proposed
When a card has a prLink but no issueLink, derive issueLink from the PR's closingIssuesReferences[0]. Auto-fill only; explicit user link still wins.
Rationale
Prior art: orchard-rs does this — git-orchard-rs/crates/orchard/src/join.rs#L72-L77. The GitHub relationship is already expressed on the PR; reflecting it in the card removes manual linking.
Ref: specs/sessions/linking.feature
Current
Only cards sourced from a GitHub issue get
issueLinkpopulated. A card whose origin is a PR has no auto-linked issue even when the PR body containscloses #N/fixes #N.Proposed
When a card has a
prLinkbut noissueLink, deriveissueLinkfrom the PR'sclosingIssuesReferences[0]. Auto-fill only; explicit user link still wins.Rationale
Prior art: orchard-rs does this —
git-orchard-rs/crates/orchard/src/join.rs#L72-L77. The GitHub relationship is already expressed on the PR; reflecting it in the card removes manual linking.Ref:
specs/sessions/linking.feature