From db3a23a11c1cf1f60f80e39f489017115812fab0 Mon Sep 17 00:00:00 2001
From: Stefan Haller <stefan@haller-berlin.de>
Date: Sat, 5 Jul 2025 17:49:21 +0200
Subject: [PATCH] Create annotated tags

They are preferable over lightweight tags because they carry information about
who created them, and when.
---
 .github/workflows/release.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index c9968d25c..88b7f46ae 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -131,7 +131,7 @@ jobs:
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "github-actions[bot]@users.noreply.github.com"
-          git tag ${{ env.new_tag }}
+          git tag ${{ env.new_tag }} -a -m "Release ${{ env.new_tag }}"
           git push origin ${{ env.new_tag }}
         env:
           GITHUB_TOKEN: ${{ secrets.LAZYGIT_RELEASE_PAT }}