Force push tags

Author: bartvdbraak

.github/workflows/patch-release.yml

@@ -56,7 +56,7 @@ jobs:
           git tag -d "${{ inputs.tag }}" || echo "Local tag does not exist, skipping delete."
           git push --delete origin "${{ inputs.tag }}" || echo "Remote tag does not exist, skipping delete."
           git tag -a "${{ inputs.tag }}" -m "Tagging version ${{ inputs.tag }} after applying patches"
-          git push origin "${{ inputs.tag }}"
+          git push origin "${{ inputs.tag }}" --force
           echo '{"ref":"${{ inputs.tag }}"}' | gh workflow run build.yml --ref "ci"	--repo "blender/gitea" --json
         env:
           GH_TOKEN: ${{ github.token }}