get closed issues from a milestone as preparation for OpenPetra release

get_issues.py

#!/usr/bin/python3
import requests
import json

url = "https://api.github.com/repos/openpetra/openpetra/issues"
milestone = "17"

S = requests.Session()
headers = {'Accept': 'application/vnd.github.v3+json'}
# see https://docs.github.com/en/rest/reference/issues#list-repository-issues
r1 = S.get(url=url + "?milestone=" + milestone + "&state=closed&sort=updated", headers=headers)
issues = json.loads(r1.content)

#print(issues)

for issue in issues:
   print("%s %s" % (issue["number"], issue["title"]))