> On 22 Jan 2020, at 14:36, kristof.mul...@telenet.be wrote: > > > The openocd git repo is at: > > https://sourceforge.net/p/openocd/code/ci/master/tree/ > > And can be cloned with: git clone git://git.code.sf.net/p/openocd/code > > According to the documentation, this is the official git, and this URL should > be used for builds.
Note that there's also an official mirror at http://repo.or.cz/w/openocd.git and in my experience, at least in the recent past, this mirror was much faster than the sourceforge one so I tended to use it. http://openocd.org/repos/ > Why would you not use the official repo? Because ongoing commits seem to be going to the zylin one and not the official master? If don't know if/when/how they get merged from zylin to master?
_______________________________________________ OpenOCD-devel mailing list OpenOCD-devel@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/openocd-devel
