Only update the latest docs on push to master

trailofbits · May 15, 2020 · 427738f · 427738f
1 parent dbe28b9
commit 427738f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
@@ -49,9 +49,9 @@ jobs:
           git config --local user.email "[email protected]"
           git config --local user.name "GitHub Action"
           git add .
-          if [ "$GITHUB_REF" != "refs/heads/master" ]; then
+          if [ "$GITHUB_REF" == "refs/heads/master" ]; then
             cd ..
-            # This is a tag; assume it is the latest and update accordingly
+            # This is not tag, so it is the latest:
             rm -f latest
             ln -s ${VERSION} latest
             git add latest