From 0355d987938d57fcb50b2a9b39b0f89495403357 Mon Sep 17 00:00:00 2001 From: Spencer Oliver Date: Thu, 15 Nov 2012 23:05:13 +0000 Subject: [PATCH] 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 Reviewed-on: http://openocd.zylin.com/982 Tested-by: jenkins --- HACKING | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/HACKING b/HACKING index a379f9261..658aa76b5 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.