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>

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