That probably suffices as a workaround (I have not tried
this plugin myself). FWIW my standard recommendation is to simply switch the
Strategy for PR builds from
Merging the pull request with the current target branch revision to
The current pull request revision. There is not much point in using the PR-merge strategy if you are not doing fresh builds when the target branch moves, under the assumption PRs are usually based on the target branch head in effect at the time the PR was filed and that pushes of follow-up commits also include merges of the target branch as needed, since you are no longer reliably verifying that PR tests pass against the current target branch head before merging; and the PR-merge strategy has downsides other than performance, such as preventing Incrementals deployment when an actual merge is being built, and preventing lightweight (API-based) checkout of `Jenkinsfile`. The PR-head strategy is simpler to understand, and does not require a special plugin to avoid overhead.