diff options
Diffstat (limited to 'maint')
| -rw-r--r-- | maint/README | 5 | ||||
| -rwxr-xr-x | maint/push-to-public | 4 |
2 files changed, 4 insertions, 5 deletions
diff --git a/maint/README b/maint/README index 89f3555..8f3524d 100644 --- a/maint/README +++ b/maint/README @@ -9,10 +9,9 @@ Check version numbers in Makefile and lib/pci.h. ssh-add ~/.ssh/id_korg maint/tag-release vX.Y.Z -git push --tags - -maint/release maint/push-to-public +maint/release + Update progs/pciutils at Jabberwock. diff --git a/maint/push-to-public b/maint/push-to-public index d1ab4f3..cb550fb 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 master +git push --tags github master |