diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index fea840db5caf5bca2ecba9d7c1861bdfd6c48e2c..9c4a8c839f9344adb7eeacc058022a749a27f55c 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -4,7 +4,7 @@ on:
   push:
     # Sequence of patterns matched against refs/heads
     branches:    
-      - master         # Push events on master branch
+      - v1.7.1         # Push events on master branch
 
 jobs:
 
@@ -182,7 +182,6 @@ jobs:
       run: |
         git config --local user.email "tlaplus-action@github.com"
         git config --local user.name "TLA+ GitHub Action"
-        git tag -f v1.7.1
         git push https://${{ github.actor }}:${{ secrets.GITHUB_TOKEN }}@github.com/${{ github.repository }}.git --follow-tags --tags --force
 
       ##