Merge pull request #17694 from QuLogic/devdocs

jklymak · web-flow · commit 7c25ef334549 · 2020-06-20T08:56:18.000-07:00
CI: Only skip devdocs deploy if PR is to this repo.
diff --git a/.circleci/deploy-docs.sh b/.circleci/deploy-docs.sh
@@ -4,7 +4,7 @@ set -e
 
 if [ "$CIRCLE_PROJECT_USERNAME" != "matplotlib" ] || \
         [ "$CIRCLE_BRANCH" != "master" ] || \
-        [ "$CIRCLE_PULL_REQUEST" != "" ]; then
+        [[ "$CIRCLE_PULL_REQUEST" == https://github.com/matplotlib/matplotlib/pull/* ]]; then
     echo "Not uploading docs for ${CIRCLE_SHA1}"\
          "from non-master branch (${CIRCLE_BRANCH})"\
          "or pull request (${CIRCLE_PULL_REQUEST})"\
