From 34feece7f514207ac129da60d90d2175d5a7951e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Nicol=C3=A1s=20Reynolds?= <fauno@kiwwwi.com.ar>
Date: Wed, 5 Sep 2012 12:57:50 -0300
Subject: Mirror a remote repo

---
 git-shell-commands/mirror | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100755 git-shell-commands/mirror

(limited to 'git-shell-commands')

diff --git a/git-shell-commands/mirror b/git-shell-commands/mirror
new file mode 100755
index 0000000..2bf9a49
--- /dev/null
+++ b/git-shell-commands/mirror
@@ -0,0 +1,11 @@
+#!/bin/sh
+# Mirrors a repository
+# ssh git@host mirror git://url/repo.git
+
+set -E
+
+repo="`basename "$1"`.git"
+
+git clone --mirror $1 $repo
+
+exit $?
-- 
cgit v1.2.3