Diff-informed analysis: fix empty PR handling#2818

cklin merged 1 commit intomaingithub/codeql-action:mainfrom

cklin/empty-pr-diff-rangegithub/codeql-action:cklin/empty-pr-diff-rangeCopy head branch name to clipboard