From ddf2b7e9522870680d8ea592107498513ead4cce Mon Sep 17 00:00:00 2001
From: Jonas Smedegaard <dr@jones.dk>
Date: Sun, 13 Feb 2011 00:23:47 +0100
Subject: Add scripts localdebgitpush localdebgitreinit .

---
 localdebgitpush   | 11 +++++++++++
 localdebgitreinit | 13 +++++++++++++
 2 files changed, 24 insertions(+)
 create mode 100755 localdebgitpush
 create mode 100755 localdebgitreinit

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
-- 
cgit v1.2.3