From 7252a72465d8776f49fb6bf7b46a3942bbd53ba8 Mon Sep 17 00:00:00 2001
From: David Brownell <dbrownell@users.sourceforge.net>
Date: Wed, 7 Oct 2009 19:11:37 -0700
Subject: [PATCH] Houston, we have Mirror!

---
 README           | 6 ++++++
 doc/openocd.texi | 6 ++++++
 2 files changed, 12 insertions(+)

diff --git a/README b/README
index 741432302..33258e8aa 100644
--- a/README
+++ b/README
@@ -385,6 +385,11 @@ choice from the main repository:
 
    git://openocd.git.sourceforge.net/gitroot/openocd/openocd
 
+You may prefer to use a mirror:
+
+   http://repo.or.cz/r/openocd.git
+   git://repo.or.cz/openocd.git
+
 Using the GIT command line client, you might use the following command
 to set up a local copy of the current repository (make sure there is no
 directory called "openocd" in the current directory):
@@ -399,6 +404,7 @@ There is also a gitweb interface, which you can use either to browse
 the repository or to downlad arbitrary snapshots using HTTP:
 
    http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd
+   http://repo.or.cz/w/openocd.git
 
 Snapshots are compressed tarballs of the source tree, about 1.3 MBytes
 each at this writing.
diff --git a/doc/openocd.texi b/doc/openocd.texi
index fc971db20..11bd7e0aa 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -177,6 +177,10 @@ a GIT repository hosted at SourceForge.  The repository URL is:
 
 @uref{git://openocd.git.sourceforge.net/gitroot/openocd/openocd}
 
+You may prefer to use a mirror and the HTTP protocol:
+
+@uref{http://repo.or.cz/r/openocd.git}
+
 With standard GIT tools, use @command{git clone} to initialize
 a local repository, and @command{git pull} to update it.
 There are also gitweb pages letting you browse the repository
@@ -185,6 +189,8 @@ needing a GIT client:
 
 @uref{http://openocd.git.sourceforge.net/git/gitweb.cgi?p=openocd/openocd}
 
+@uref{http://repo.or.cz/w/openocd.git}
+
 The @file{README} file contains the instructions for building the project
 from the repository or a snapshot.