diff --git a/tools/jenkins-scripts/pull-request-builder.py b/tools/jenkins-scripts/pull-request-builder.py index 2719d45f63..ff238ce440 100755 --- a/tools/jenkins-scripts/pull-request-builder.py +++ b/tools/jenkins-scripts/pull-request-builder.py @@ -117,7 +117,7 @@ def main(): print "Before checkout: git clean -xdf -f" os.system("git clean -xdf -f") #fetch pull request to local repo - git_fetch_pr = "git fetch origin pull/" + str(pr_num) + "/merge" + git_fetch_pr = "git fetch origin pull/" + str(pr_num) + "/head" ret = os.system(git_fetch_pr) if(ret != 0): return(2)