diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/check-pr-title-and-commit-messages.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/check-pr-title-and-commit-messages.py b/scripts/check-pr-title-and-commit-messages.py index 9801b7456..07540b22c 100755 --- a/scripts/check-pr-title-and-commit-messages.py +++ b/scripts/check-pr-title-and-commit-messages.py @@ -30,6 +30,7 @@ if __name__ == '__main__': # Get the pull request object pr = requests.get(sys.argv[1]).json() if "title" not in pr: + print("The PR object does not have a title field!") print("Did not receive a valid pull request object, please check the URL!") sys.exit(1) |