From 6c9006a3a37801121eb31eb2639e9838bc0f53af Mon Sep 17 00:00:00 2001
From: Markus Alexander Kuppe <tlaplus.net@lemmster.de>
Date: Wed, 30 Dec 2020 15:38:40 -0800
Subject: [PATCH] Build 1.7.1 release from v1.7.1 branch.

[Build]
---
 .github/workflows/main.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index fea840db5..9c4a8c839 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
 
       ##
-- 
GitLab