[feature] script to push all repos to GitHub

eXist-db · Jul 27, 2013 · 5642d42 · 5642d42
1 parent 809511f
commit 5642d42
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/push-all.sh b/push-all.sh
@@ -0,0 +1,14 @@
+#!/bin/env bash
+
+for dir in `ls -d */`
+do
+	repo="${dir%/}"
+	echo "Processing repo ${repo}..."
+	cd "$repo"
+	git repack -a -d -f
+	origin="git@github.com:eXist-db/${repo}.git"
+	git remote add origin $origin
+	git push --all
+	git push --tags
+	cd ..
+done