diff options
| -rwxr-xr-x | localdebgitpush | 11 | ||||
| -rwxr-xr-x | localdebgitreinit | 13 |
2 files changed, 24 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 diff --git a/localdebgitreinit b/localdebgitreinit new file mode 100755 index 0000000..e684710 --- /dev/null +++ b/localdebgitreinit @@ -0,0 +1,13 @@ +#!/bin/sh + +set -e + +for pkg in "$@"; do + cd "$pkg" + git init + git remote rm origin || true + git remote add origin git.debian.org:/git/collab-maint/$pkg + git config branch.master.remote origin || true + git config branch.master.merge refs/heads/master + cd .. +done |