in tools/release-notes-automator/generate_release_notes.py [0:0]
def has_linked_pr(repo, issue_number):
"""
Check if a given issue has a linked pull request.
Looks for 'connected' events without a commit_id (indicating a PR link).
Returns True if a linked PR is found, else False.
"""
url = f"https://api.github.com/repos/{repo}/issues/{issue_number}/events"
response = safe_github_request(url, headers=HEADERS)
events = response.json()
for event in events:
if event["event"] == "connected" and event.get("commit_id") is None:
# "connected" event with no commit_id = likely a PR, not a commit link
return True
return False