Sat 2020.02.01
The link http://repo.or.cz/git2cl.git/ fails to load in the browser (which I'm sure was attempted) with error 'This site can’t be reached'
I did find a mirror site:
https://github.com/ntfreak/openocd
'Is OpenOCD still in business?'
Google return links seem to be dated into mid-late 2019.
@Robin started
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
Sat 2020.02.01
The link http://repo.or.cz/git2cl.git/ fails to load in the browser (which I'm sure was attempted) with error 'This site can’t be reached'
I did find a mirror site:
Google return links seem to be dated into mid-late 2019.