in tools/release-notes-automator/generate_release_notes.py [0:0]
def get_repo_milestone_number(repo, title):
"""
Fetch the milestone number for a given repo and milestone title.
Returns the milestone number if found, else None.
"""
url = f"https://api.github.com/repos/{repo}/milestones"
response = safe_github_request(url, headers=HEADERS)
for milestone in response.json():
if milestone["title"] == title:
return milestone["number"]
return None