fix(ci) Don’t try to find a pull-request number for tags (#4740)

Author: fredboyle

.circleci/config.yml

@@ -210,7 +210,7 @@ jobs:
           command: |
             echo "» Branch: "${CIRCLE_BRANCH}
             echo
-            if [[ ${CIRCLE_BRANCH} =~ ^[0-9]{3}-(summer|spring|winter)-[0-9]{2}$ ]] ; then
+            if [[ ${CIRCLE_BRANCH} =~ ^[0-9]{3}-(summer|spring|winter)-[0-9]{2}$ || -n ${CIRCLE_TAG} ]] ; then
               echo "» Does not require a pull-request number"
             else
               if [ -z $(cat workspace/gh-pr-num.txt) ] ; then