From 4b90a9d63f47b0eec85714840de5c56b62ea1687 Mon Sep 17 00:00:00 2001 From: Oliver Davies Date: Sun, 8 Jun 2025 13:23:13 +0100 Subject: [PATCH] Don't automatically push tags --- modules/home-manager/cli/scripts/scripts/tag-release | 2 -- 1 file changed, 2 deletions(-) diff --git a/modules/home-manager/cli/scripts/scripts/tag-release b/modules/home-manager/cli/scripts/scripts/tag-release index ad112170..c1899930 100755 --- a/modules/home-manager/cli/scripts/scripts/tag-release +++ b/modules/home-manager/cli/scripts/scripts/tag-release @@ -8,6 +8,4 @@ tag="$(date '+%Y-%m-%d-%H.%M.%S')" echo "Tagging commit $(git rev-parse "${commit_sha}") as ${tag}." echo "" -# Tag the appropriate commit and push to the remote. git tag "${tag}" "${commit_sha}" -git push origin "refs/tags/${tag}" --no-verify