Allow overriding the pull request number#359

maleadt wants to merge 1 commit into

benchmark-action:masterbenchmark-action/github-action-benchmark:masterfrom

maleadt:pull_request_numbermaleadt/github-action-benchmark:pull_request_numberCopy head branch name to clipboard