From eb38d4538fb5bef5b2e8ddf181877d089928e57a Mon Sep 17 00:00:00 2001
From: Joachim Wiberg <troglobit@gmail.com>
Date: Fri, 8 Nov 2024 18:38:50 +0100
Subject: [PATCH] .github: remember to sync tags

The gh repo sync, used by our internal cronjob, does not sync tags, for
details see <https://github.com/cli/cli/issues/5023>.

Signed-off-by: Joachim Wiberg <troglobit@gmail.com>
---
 .github/CHECKLIST.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/CHECKLIST.md b/.github/CHECKLIST.md
index 90545567..69f7622a 100644
--- a/.github/CHECKLIST.md
+++ b/.github/CHECKLIST.md
@@ -33,3 +33,4 @@ Releases
    - Easy to forget adaptations/hacks in customer repos -- may need Infix change/support
  - Ensure the markdown link for the release diff is updated
  - Ensure subrepos are tagged (can be automated, see kernelkit/infix#393)
+ - Sync tags for all repo. sync activities