Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 4 additions & 4 deletions dev-tools/scripts/githubPRs.py
Original file line number Diff line number Diff line change
Expand Up @@ -25,15 +25,14 @@
import argparse
import json
import re
from typing import TYPE_CHECKING, Any, cast
from typing import TYPE_CHECKING, Any

from github import Github
from jinja2 import BaseLoader, Environment
from jira import JIRA, Issue
from jira import JIRA

if TYPE_CHECKING:
from github.PullRequest import PullRequest
from jira.client import ResultList


def read_config():
Expand Down Expand Up @@ -114,7 +113,8 @@ def main():
issue_ids.append(jira_issue_str)
issue_to_pr[jira_issue_str] = pr

resolved_jiras = cast("ResultList[Issue]", jira.search_issues(jql_str="key in (%s) AND status in ('Closed', 'Resolved')" % ", ".join(issue_ids)))
resolved_jiras = jira.search_issues(jql_str="key in (%s) AND status in ('Closed', 'Resolved')" % ", ".join(issue_ids))
assert not isinstance(resolved_jiras, dict)
closed_jiras: list[dict[str, Any]] = []
for issue in resolved_jiras:
pr_title = issue_to_pr[issue.key].title
Expand Down
2 changes: 1 addition & 1 deletion dev-tools/scripts/requirements.txt
Original file line number Diff line number Diff line change
Expand Up @@ -11,7 +11,7 @@ console-menu==0.8.0
# pull request processing in githubPRs
PyGithub==2.8.1
# JIRA processing in githubPRs
jira==3.8.0
jira==3.10.5
# type-checking in "make lint"
basedpyright==1.31.7
# linting in "make lint"
Expand Down
Loading