fix fetch to actually work

10 years ago · c3dd3bfb85
parent bc17b3f0ae
commit c3dd3bfb85
1 changed files with 1 additions and 1 deletions
--- a/tools/jenkins/run_jenkins.sh
+++ b/tools/jenkins/run_jenkins.sh
@ -44,7 +44,7 @@ then
  if [ "$ghprbPullId" != "" ]
  then
    # if we are building a pull request, grab corresponding refs.
-    FETCH_PULL_REQUEST_CMD="&& git fetch $GIT_URL +refs/pull/$ghprbPullId:refs/remotes/origin/pr/$ghprbPullId"
+    FETCH_PULL_REQUEST_CMD="&& git fetch $GIT_URL refs/pull/$ghprbPullId/merge refs/pull/$ghprbPullId/head"
  fi

  # Run tests inside docker