diff options
author | Jan Holesovsky <kendy@suse.cz> | 2012-08-20 13:58:37 +0200 |
---|---|---|
committer | Jan Holesovsky <kendy@suse.cz> | 2012-08-20 14:02:00 +0200 |
commit | 8b2e53b30ead136ccf74e1f7bb5295d68080585f (patch) | |
tree | e95210f9f02c5b14346e2b3e0e141f33253b72ac | |
parent | 1b153ad73e618dc1600394ffbd98ad4b8bd918cd (diff) |
Update ./g --set-push-user to work with gerrit.
Change-Id: If83b29222740e9d479d8b3c9b9d90ccc3706cd49
-rwxr-xr-x | g | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -251,7 +251,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/*') |