No PR number found

This commit is contained in:
Heiner Lohaus 2024-01-21 17:38:26 +01:00
parent 46a8019e1f
commit f5ab6f8531

View File

@ -33,6 +33,8 @@ def get_pr_details(github: Github) -> PullRequest:
'./pr_number'
with open('./pr_number', 'r') as file:
pr_number = file.read()
if not pr_number:
return
repo = github.get_repo(GITHUB_REPOSITORY)
pull = repo.get_pull(pr_number)
@ -214,6 +216,9 @@ def main():
try:
github = Github(GITHUB_TOKEN)
pull = get_pr_details(github)
if not pull:
print(f"No PR number found")
exit()
diff = get_diff(pull.diff_url)
except Exception as e:
print(f"Error get details: {e.__class__.__name__}: {e}")