diff options
| author | Martin Mares <mj@ucw.cz> | 2024-02-26 21:16:23 +0100 |
|---|---|---|
| committer | Martin Mares <mj@ucw.cz> | 2024-02-26 21:16:23 +0100 |
| commit | 1873b97397b14e3f2404aeee128c429430ce621a (patch) | |
| tree | f3e6c4a3e930715991f1d846c63c7f726e818fc5 | |
| parent | 651a352a037b7a7b4d8e0bcb3eefb7cfc07fdda7 (diff) | |
| download | pciutils-1873b97397b14e3f2404aeee128c429430ce621a.tar.gz | |
maint/push-to-public: Push including tags
| -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 d1ab4f3..4ed9467 100755 --- a/maint/push-to-public +++ b/maint/push-to-public @@ -1,4 +1,4 @@ #!/bin/sh set -e -git push public -git push github +git push --tags public +git push --tags github |