From: Spencer Oliver <spen@spen-soft.co.uk>
Date: Thu, 15 Nov 2012 23:05:13 +0000 (+0000)
Subject: doc: update to new sourceforge git url
X-Git-Tag: v0.7.0-rc1~161
X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=commitdiff_plain;h=0355d987938d57fcb50b2a9b39b0f89495403357;ds=sidebyside

doc: update to new sourceforge git url

The new sourceforge platform also supports http access, so use that rather
then repo.or.cz.

Change-Id: Ica89d9475847a2095c179b240053145795549802
Signed-off-by: Spencer Oliver <spen@spen-soft.co.uk>
Reviewed-on: http://openocd.zylin.com/982
Tested-by: jenkins
---

diff --git a/HACKING b/HACKING
index a379f92619..658aa76b59 100644
--- a/HACKING
+++ b/HACKING
@@ -51,12 +51,12 @@ Add yourself to the GPL copyright for non-trivial changes.
      https://help.github.com/articles/generating-ssh-keys
 -# Clone the git repository, rather than just download the source:
  @code
- git clone git://openocd.git.sourceforge.net/gitroot/openocd/openocd
+ git clone git://git.code.sf.net/p/openocd/code openocd
  @endcode
    or if you have problems with the "git:" protocol, use
    the slower http protocol:
  @code
- git clone http://repo.or.cz/r/openocd.git
+ git clone http://git.code.sf.net/p/openocd/code openocd
  @endcode
 -# Set up Gerrit with your local repository. All this does it
 to instruct git locally how to send off the changes.