summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorTobias Klauser <tklauser@distanz.ch>2012-09-11 16:43:55 +0200
committerTobias Klauser <tklauser@distanz.ch>2012-09-11 16:43:55 +0200
commitd8a874907b022bca5a0f2c71b730b4f4a24e103c (patch)
tree15826bfadd461918601dd3434d5b9951b5f69457
parente4485880d876f0d1b17d8281218d48cd234c1d07 (diff)
Add username to git URLsHEADmaster
-rwxr-xr-xmrmovein3
1 files changed, 2 insertions, 1 deletions
diff --git a/mrmovein b/mrmovein
index 658c33d..eb1f68f 100755
--- a/mrmovein
+++ b/mrmovein
@@ -11,7 +11,8 @@
set -eu
-GIT_SERVER=ssh://git.distanz.ch
+GIT_USER=tklauser
+GIT_SERVER=ssh://$GIT_USER@git.distanz.ch
GIT_REPOS='srv/git/git.distanz.ch'
MR_CODE=$HOME/src/mr
MR_REPO_URL=$GIT_SERVER/$GIT_REPOS/mr.git