From 34092dd9262f4f204e7b2043b0a1faeb3b4157bd Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Fri, 29 Mar 2024 23:25:43 +0100 Subject: [PATCH] maint/push-to-public: git push --tags requires branches --- maint/push-to-public | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/maint/push-to-public b/maint/push-to-public index 4ed9467..cb550fb 100755 --- a/maint/push-to-public +++ b/maint/push-to-public @@ -1,4 +1,4 @@ #!/bin/sh set -e -git push --tags public -git push --tags github +git push --tags public master +git push --tags github master -- 2.39.2