We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 972da97 commit 82c2421Copy full SHA for 82c2421
admin/get_merged_prs.py
@@ -1,8 +1,8 @@
1
"""Get all merged PRs since last release, save them to a JSON file"""
2
3
import json
4
-import urllib.request
5
import urllib.parse
+import urllib.request
6
7
# https://api.github.com/search/issues?q=repo:rdflib/rdflib+is:pr+merged:%3E=2023-08-02&per_page=300&page=1
8
LAST_RELEASE_DATE = "2023-08-02"
0 commit comments