The old svn server has caused some unnecessary confusion lately and since nobody has responded to the message posted to the openocd development mailinglist as to whether there is a reason to keep it running, it will be shut down in the next few days.

The http://openocd.sourceforge.net/ git server has been the official development git repository for a few months now.

Øyvind Harboe