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 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 localdebgitpush

(limited to 'localdebgitpush')

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