> 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.

You may try to use any other, including Gerrit, but don't be surprised if you 
occasionally run into troubles, since some commits may have conflicts.

Why would you not use the official repo?


Regards,

Liviu



_______________________________________________
OpenOCD-devel mailing list
OpenOCD-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/openocd-devel

Reply via email to