commit ce365ce1ccc801e05a8ca0a6ee13f9a52886724d
author Sphoorti Joglekar <sphoorti.joglekar@gmail.com> Tue Apr 01 19:47:40 2014 +0530
committer Sphoorti Joglekar <sphoorti.joglekar@gmail.com> Wed Apr 02 18:35:21 2014 +0530
tree a2a8fab585c168a99cb76a2d65c703d5943565fe
parent 510136a729e60ba0d74ecf3a274dbc13929893e4

Edit docs to include git.openstack.org url

This patch proposes a change to clone the devstack repository from
git://git.openstack.org rather than https://github.com since git urls
are faster than https and put less loads on the server.

Change-Id: I7fe6a0f81be812dacfef575caa1cf0ae800f9a29

tools/build_docs.sh

diff --git a/tools/build_docs.sh b/tools/build_docs.sh
index c566e63..384b1fa 100755
--- a/tools/build_docs.sh
+++ b/tools/build_docs.sh
@@ -22,7 +22,7 @@
 # --------
 
 # Source repo/branch for DevStack
-MASTER_REPO=${MASTER_REPO:-https://github.com/openstack-dev/devstack.git}
+MASTER_REPO=${MASTER_REPO:-git://git.openstack.org/openstack-dev/devstack}
 MASTER_BRANCH=${MASTER_BRANCH:-master}
 
 # http://devstack.org is a GitHub gh-pages site in the https://github.com/cloudbuilders/devtack.git repo