Merge branch 'master' of github.com:httpwg/http-extensions into ioggs…

…tream-967
httpwg · Nov 3, 2019 · 5e0ce7d · 5e0ce7d
2 parents 2263303 + b7228f5
commit 5e0ce7d
Show file tree

Hide file tree

Showing 4 changed files with 320 additions and 84 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -27,6 +27,16 @@ jobs:
             - v1-cache-references-{{ epoch }}
             - v1-cache-references-
 
+      # Workaround for https://discuss.circleci.com/t/22437 (works for public repos only)
+      - run:
+          name: Checkout Workaround
+          command: |
+            if [ -n "$CIRCLE_TAG" ] && [ -d .git ]; then
+              git fetch -f $(echo "$CIRCLE_REPOSITORY_URL" | \
+                             sed -e 's,/^git.github.com:,https://github.com/,') \
+                        "refs/tags/$CIRCLE_TAG:refs/tags/$CIRCLE_TAG"
+            fi
+
       - checkout
 
       # Build txt and html versions of drafts