From 84e692f04e3e4c1676a2a04939d284cf715492fd Mon Sep 17 00:00:00 2001 From: GitHub Actions Date: Tue, 9 Dec 2025 15:05:21 +0000 Subject: [PATCH] fix(history-rewrite): remove redundant || true from push warning echo --- scripts/history-rewrite/check_refs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/history-rewrite/check_refs.sh b/scripts/history-rewrite/check_refs.sh index ccdb26e4..b8ba7a05 100755 --- a/scripts/history-rewrite/check_refs.sh +++ b/scripts/history-rewrite/check_refs.sh @@ -34,7 +34,7 @@ echo "Created tags tarball: $tags_tar" echo "Attempting to push tags to origin under refs/backups/tags/*" for t in $(git tag --list); do if ! git push origin "refs/tags/$t:refs/backups/tags/$t" >/dev/null 2>&1; then - echo "Warning: pushing tag $t to refs/backups/tags/$t failed" >&2 || true + echo "Warning: pushing tag $t to refs/backups/tags/$t failed" >&2 fi done