Repository
OpenOCD development proceeds in the main Git tree on SF.net.
For users behind firewalls, repo.or.cz hosts an official mirror of this repository, serving the repository over both HTTPS and Git protocols. There is also an official Github mirror.
All OpenOCD patches are sent to our Gerrit server. Also hosted there is our Jenkins CI server that tests all patches submitted to Gerrit.
See the Developer Guide for more info.