From 46ece905582860474990dd4a9eda345624a46fbe Mon Sep 17 00:00:00 2001
From: =?utf8?q?Bar=C4=B1=C5=9F=20Metin?= <Talip-Baris.Metin@sophia.inria.fr>
Date: Thu, 1 Jul 2010 16:53:42 +0200
Subject: [PATCH] get the repository name from full path

---
 scripts/git-mirror.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/git-mirror.sh b/scripts/git-mirror.sh
index bf552c8..83f8e8c 100755
--- a/scripts/git-mirror.sh
+++ b/scripts/git-mirror.sh
@@ -34,6 +34,8 @@ function run () {
 
 function mirror () {
     for arg in "$@" ; do
+        arg=$(basename $arg | sed s/.git$//g)
+
         NAME=$(echo ${arg} | sed 's/\/$//')
         GIT_NAME=${NAME}.git
         REPO_DIR=${LOCAL_MIRROR_DIR}/${NAME}
-- 
2.47.0