[Jenkins] add missing double quotes in pull-request-builder.py
Merge pull request #5193 from lmskater/develop

[Jenkins] add missing double quotes in pull-request-builder.py