diff options
| author | pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> | 2022-04-15 13:24:58 +0000 |
|---|---|---|
| committer | pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com> | 2022-04-15 13:24:59 +0000 |
| commit | 87eabf0d0b29a86e1259bd256d541d83690e0054 (patch) | |
| tree | 9434654c35c6b7b179a2f5239c955c7149157b97 /admin | |
| parent | 520bdda354bde16bbb19f0894e857321c9d1027d (diff) | |
| download | rdflib-87eabf0d0b29a86e1259bd256d541d83690e0054.tar.gz | |
[pre-commit.ci] auto fixes from pre-commit.com hooks
for more information, see https://pre-commit.ci
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", |