[gentoo-commits] proj/linux-patches:genpatches-misc commit in: repo-doc/, web/

[gentoo-commits] proj/linux-patches:genpatches-misc commit in: repo-doc/, web/

[Mike Pagano]

commit:     bd9a888e856ee47a7b09907433265bd1e85569a4
Author:     Mike Pagano <mpagano <AT> gentoo <DOT> org>
AuthorDate: Mon May  4 09:51:22 2015 +0000
Commit:     Mike Pagano <mpagano <AT> gentoo <DOT> org>
CommitDate: Mon May  4 09:51:22 2015 +0000
URL:        https://gitweb.gentoo.org/proj/linux-patches.git/commit/?id=bd9a888e

Fix repo URL for auto site creation.

 repo-doc/00_intro   | 2 +-
 repo-doc/10_scripts | 2 +-
 web/makesite.pl     | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/repo-doc/00_intro b/repo-doc/00_intro
index ccbe1a2..fe1bad9 100644
--- a/repo-doc/00_intro
+++ b/repo-doc/00_intro
@@ -16,5 +16,5 @@ Checking out the working repository
 Most of the time, you will only need to work under trunk - there is no point
 checking out all the tagged and historical branches.
 
-# git clone git+ssh://git@git.overlays.gentoo.org/proj/linux-patches.git
+# git clone git+ssh://git@git.gentoo.org/proj/linux-patches.git
 

diff --git a/repo-doc/10_scripts b/repo-doc/10_scripts
index e73eb47..2227cb9 100644
--- a/repo-doc/10_scripts
+++ b/repo-doc/10_scripts
@@ -36,7 +36,7 @@ LOCAL_PATCHES_TRUNK="/home/mike/gentoo/linux-patches"
 LOCAL_TMP="/tmp"
 
 # Remote repository configuration
-REMOTE_BASE="git+ssh://git@git.overlays.gentoo.org/proj/linux-patches.git"
+REMOTE_BASE="git+ssh://git@git.gentoo.org/proj/linux-patches.git"
 
 TARBALL_BASENAME="genpatches"
 KERNEL_NAME="genpatches"

diff --git a/web/makesite.pl b/web/makesite.pl
index 766bfef..d389f28 100755
--- a/web/makesite.pl
+++ b/web/makesite.pl
@@ -19,7 +19,7 @@ print "makesite.pl called with arguments: @ARGV \n";
 my $cmd = 'rm -rf /tmp/linux-patches';
 $output = `$cmd`;
 
-$cmd = 'git clone git+ssh://git@git.overlays.gentoo.org/proj/linux-patches.git /tmp/linux-patches';
+$cmd = 'git clone git+ssh://git@git.gentoo.org/proj/linux-patches.git /tmp/linux-patches';
 $output = `$cmd`;
 
 make_index_page();