Add scripts localdebgitpush localdebgitreinit .

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