Add tagging to pipeline

.github/workflows/deploy.yml

@@ -52,6 +52,24 @@ jobs:
           key: ${{ runner.os }}-pip-${{ hashFiles('noxfile.py', 'doc/requirements.txt') }}
           restore-keys: |
             ${{ runner.os }}-pip-
+      - name: Apply new tag if version is bumped
+        # if: ${{ success() && (github.event.ref == 'refs/heads/main') }}
+        run: |
+          set -e
+          git config --global user.email "[email protected]"
+          git config --global user.name "gcovr authors"
+          # Get the version
+          Version="$(sed -n 's/__version__.*"\(.*\)"/\1/ p' gcovr/version.py)"
+          # Try to create the tag and print the output. It's only pushed if it's a real release
+          git tag -a "$Version" -m "$Version ($(date -Iminutes))"
+          git tag --list -n "$Version"
+          
+          # Check if it is a new release
+          if echo "$Version" | grep -E '^\d+\.\d+$'; then
+            echo "New version bumped"
+          else
+            echo "Skip pushing tag for development build"
+          fi
       - name: Install build commands and GCC
         run: |
           sudo apt update