summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJonas Smedegaard <dr@jones.dk>2011-02-13 00:23:47 +0100
committerJonas Smedegaard <dr@jones.dk>2011-02-13 00:23:47 +0100
commitddf2b7e9522870680d8ea592107498513ead4cce (patch)
treeacbd528328fa5d1d2a21ffd735cedf2fedc0f7e6
parent114fba1891b4b1b9e61288bfa1f8802c9caebb4a (diff)
Add scripts localdebgitpush localdebgitreinit .
-rwxr-xr-xlocaldebgitpush11
-rwxr-xr-xlocaldebgitreinit13
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