diff options
| author |   Christian Ruppert <idl0r@gentoo.org> | 2012-05-20 20:31:17 +0200 |
|---|---|---|
| committer | Christian Ruppert <idl0r@gentoo.org> | 2012-05-20 20:31:17 +0200 |
| commit | c8a8268f4148161033d1c06bd8f2495ef811927c (patch) | |
| tree | 2aecf2a6bee259879fc5917482d859e082ebb83c /src/gl-mirror-push | |
| parent | Add find_pubkey() function (diff) | |
| parent | v2.3.1 (diff) | |
| download | gitolite-gentoo-c8a8268f4148161033d1c06bd8f2495ef811927c.tar.gz gitolite-gentoo-c8a8268f4148161033d1c06bd8f2495ef811927c.tar.bz2 gitolite-gentoo-c8a8268f4148161033d1c06bd8f2495ef811927c.zip | |
Merge branch 'upstream'v2.3.1-gentoogitolite-gentoo-2.3.1
Diffstat (limited to 'src/gl-mirror-push')
| -rwxr-xr-x | src/gl-mirror-push | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/gl-mirror-push b/src/gl-mirror-push index 70514cb..e7054e2 100755 --- a/src/gl-mirror-push +++ b/src/gl-mirror-push @@ -25,6 +25,7 @@ hn=`get_rc_val GL_HOSTNAME` # get repo name then check if it's a local or slave (ie we're not the master) [ -z "$1" ] && die fatal: missing reponame argument repo=$1; shift +repo=${repo%.git} REPO_BASE=`get_rc_val REPO_BASE` cd $REPO_BASE/$repo.git 2>/dev/null || die fatal: could not change directory to "$repo" |