ci: Handle an uncaught exception

Properly handle and print an error message if a valid GitHub pull
request isn't given with --pull-request option.