gerrit url: update the gerrit server address to https://review.openocd.org
authorTarek BOCHKATI <tarek.bouchkati@gmail.com>
Thu, 26 Aug 2021 09:41:35 +0000 (10:41 +0100)
committerAntonio Borneo <borneo.antonio@gmail.com>
Sat, 18 Sep 2021 15:21:02 +0000 (15:21 +0000)
commitea562985b5eff536feea022b074122b21c3610ea
treeba8f3038823d8c579e99df0930882fd6eb28d95a
parentc865879eb81b6e5fca58bed8b63f6336b98ec425
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>
HACKING
doc/openocd.texi
tools/initial.sh