diff options
| author | Jonas Smedegaard <dr@jones.dk> | 2011-02-13 00:23:47 +0100 |
|---|---|---|
| committer | Jonas Smedegaard <dr@jones.dk> | 2011-02-13 00:23:47 +0100 |
| commit | ddf2b7e9522870680d8ea592107498513ead4cce (patch) | |
| tree | acbd528328fa5d1d2a21ffd735cedf2fedc0f7e6 /localdebgitpush | |
| parent | 114fba1891b4b1b9e61288bfa1f8802c9caebb4a (diff) | |
Add scripts localdebgitpush localdebgitreinit .
Diffstat (limited to 'localdebgitpush')
| -rwxr-xr-x | localdebgitpush | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/localdebgitpush b/localdebgitpush new file mode 100755 index 0000000..825e112 --- /dev/null +++ b/localdebgitpush @@ -0,0 +1,11 @@ +#!/bin/sh + +set -e + +for pkg in "$@"; do + ssh git.debian.org "cd /git/collab-maint && ./setup-repository $pkg '$pkg Debian packaging'" + cd "$pkg" + git push --all + git push --tags + cd .. +done |