diff options
| author | Tarek BOCHKATI <tarek.bouchkati@gmail.com> | 2021-08-26 10:41:35 +0100 |
|---|---|---|
| committer | Antonio Borneo <borneo.antonio@gmail.com> | 2021-09-18 15:21:02 +0000 |
| commit | ea562985b5eff536feea022b074122b21c3610ea (patch) | |
| tree | ba8f3038823d8c579e99df0930882fd6eb28d95a /tools | |
| parent | c865879eb81b6e5fca58bed8b63f6336b98ec425 (diff) | |
| download | riscv-openocd-ea562985b5eff536feea022b074122b21c3610ea.zip riscv-openocd-ea562985b5eff536feea022b074122b21c3610ea.tar.gz riscv-openocd-ea562985b5eff536feea022b074122b21c3610ea.tar.bz2 | |
gerrit url: update the gerrit server address to https://review.openocd.org
change the gerrit server address from http://openocd.zylin.com to the new
address in order to avoid re-directions.
Change-Id: I76e128c277f63783d1a6f63a6a387aa838f51f80
Signed-off-by: Tarek BOCHKATI <tarek.bouchkati@gmail.com>
Reviewed-on: https://review.openocd.org/c/openocd/+/6481
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/initial.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/initial.sh b/tools/initial.sh index 446b98b..eafc9c1 100755 --- a/tools/initial.sh +++ b/tools/initial.sh @@ -11,7 +11,7 @@ add_remote() { remote_exist=`grep remote .git/config | grep review | wc -l` if [ "x$remote_exist" = "x0" ] ; then - git remote add review ssh://$USERNAME@openocd.zylin.com:29418/openocd.git + git remote add review ssh://$USERNAME@review.openocd.org:29418/openocd.git git config remote.review.push HEAD:refs/for/master else echo "Remote review exists" @@ -25,7 +25,7 @@ update_commit_msg() mv commit-msg $save_file printf "%-30s" "Updating commit-msg" status="OK" - wget -o log http://openocd.zylin.com/tools/hooks/commit-msg || status="FAIL" + wget -o log https://review.openocd.org/tools/hooks/commit-msg || status="FAIL" echo $status if [ $status = "FAIL" ] ; then mv $save_file commit-msg |