modify /merge to /head in pull-request-build.

This commit is contained in:
shujunqiao 2014-05-15 10:36:01 +08:00
parent a1f1b2f3a1
commit 39e5619f3f
1 changed files with 1 additions and 1 deletions

View File

@ -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)