gerrit url: update the gerrit server address to https://review.openocd.org
[fw/openocd] / .github /
drwxr-xr-x   ..
drwxr-xr-x - workflows