diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/get_merged_prs.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/get_merged_prs.py b/admin/get_merged_prs.py index 255d3156..b4cccb0d 100644 --- a/admin/get_merged_prs.py +++ b/admin/get_merged_prs.py @@ -1,9 +1,9 @@ """Get all merged PRs since last release, save them to a JSON file""" -import httpx import json from datetime import datetime +import httpx r = httpx.get( "https://api.github.com/repos/rdflib/rdflib/pulls", |