riscv-openocd/tools
Tarek BOCHKATI ea562985b5 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>
2021-09-18 15:21:02 +00:00
..
git2cl@8373c9f749
release
rlink_make_speed_table
scripts
st7_dtc_as
checkpatch.sh
initial.sh gerrit url: update the gerrit server address to https://review.openocd.org 2021-09-18 15:21:02 +00:00
logger.pl
release.sh
uncrustify1.sh