diff --git a/.circleci/config.yml b/.circleci/config.yml
index 81b771533e..cfba72b0e7 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -766,9 +766,13 @@ jobs:
               PR_NUMBER=$(echo $CIRCLE_PULL_REQUEST | sed 's|.*/pull/\([0-9]*\)|\1|')
               PR_BRANCH=$(curl -s https://api.github.com/repos/meteor/meteor/pulls/$PR_NUMBER | jq -r .head.ref)
               git clone https://github.com/meteor/meteor.git
+              cd meteor
+              echo "Cloning pull/$PR_NUMBER/head:$PR_BRANCH"
               git fetch origin pull/$PR_NUMBER/head:$PR_BRANCH
             else
               git clone https://github.com/meteor/meteor.git
+              cd meteor
+              echo "Cloning pull/$CIRCLE_PR_NUMBER/head:pr-$CIRCLE_PR_NUMBER"
               git fetch origin pull/$CIRCLE_PR_NUMBER/head:pr-$CIRCLE_PR_NUMBER
             fi
       # Run almost the same steps the meteor/docs repository runs, minus deploy.