From: Martin Mares Date: Fri, 29 Mar 2024 22:25:43 +0000 (+0100) Subject: maint/push-to-public: git push --tags requires branches X-Git-Tag: v3.13.0~29 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=34092dd9262f4f204e7b2043b0a1faeb3b4157bd;p=pciutils.git maint/push-to-public: git push --tags requires branches --- 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