diff options
| author | Martin Mares <mj@ucw.cz> | 2024-03-29 23:25:43 +0100 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2024-03-29 23:25:43 +0100 |
| commit | 34092dd9262f4f204e7b2043b0a1faeb3b4157bd (patch) | |
| tree | 90b99fff23d035be065ab9e48109662d9c9f09bf | |
| parent | 4c392dc366cbfcf515cb4b4607ee3a1777dc2bbc (diff) | |
| download | pciutils-34092dd9262f4f204e7b2043b0a1faeb3b4157bd.tar.gz | |
maint/push-to-public: git push --tags requires branches
| -rwxr-xr-x | maint/push-to-public | 4 |
1 files 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 |