diff options
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 |