How to manually trigger a PreCommit build for a github PR?

[Mingliang Liu]

Hi,

To trigger a PreCommit build without code change, I can make the JIRA
status "Patch Available" and provide the JIRA number to "Build With
Parameters" link
<https://ci-hadoop.apache.org/view/Hadoop/job/PreCommit-HADOOP-Build/build?delay=0sec>
.

Not sure how to do that for a PR without a real commit to the PR branch?

Thanks,