summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Holesovsky <kendy@suse.cz>2012-08-20 13:58:37 +0200
committerJan Holesovsky <kendy@suse.cz>2012-08-20 14:04:06 +0200
commitaa6808ba1163b22ce31d205eedb8f8718eeb7263 (patch)
tree25a63534967af07f642119c38b870f840fab8ac0
parent38d0e9014bb36f2777841da9497a684017c676f8 (diff)
Update ./g --set-push-user to work with gerrit.
Change-Id: If83b29222740e9d479d8b3c9b9d90ccc3706cd49
-rwxr-xr-xg2
1 files changed, 1 insertions, 1 deletions
diff --git a/g b/g
index 902f3ac18d05..a82fc313c2db 100755
--- a/g
+++ b/g
@@ -258,7 +258,7 @@ for REPO in $DIRS ; do
if [ -d "$DIR" -a "z$PUSH_USER" != "z" ]; then
echo "setting up push url for $DIR"
- (cd $DIR && git config remote.origin.pushurl "ssh://${PUSH_USER}@git.freedesktop.org/git/libreoffice/${REPO}")
+ (cd $DIR && git config remote.origin.pushurl "ssh://${PUSH_USER}@gerrit.libreoffice.org:29418/${REPO}")
elif [ -d "$DIR" -a "z$LAST_WORKING" != "z" ]; then
echo "fetching notes for $REPO ..."
(cd $DIR && git fetch origin 'refs/notes/*:refs/notes/*')