[commit: ghc] master: Add check for obsolete `darcs.haskell.org` repo urls (1effad8)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/1effad835bc58e2e87b83e74cf87636ee3220d15/ghc

>---------------------------------------------------------------

commit 1effad835bc58e2e87b83e74cf87636ee3220d15
Author: Herbert Valerio Riedel <hvr at gnu.org>
Date:   Wed Aug 28 17:56:15 2013 +0200

    Add check for obsolete `darcs.haskell.org` repo urls
    
    If the check detects an obsolete URL, show a warning and tell the user how
    to invoke `sync-all` in order to update the local Git repo to point to the new
    repository URLs.
    
    This is related to #8121


>---------------------------------------------------------------

1effad835bc58e2e87b83e74cf87636ee3220d15
 sync-all |   22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

diff --git a/sync-all b/sync-all
index 977aed2..85a697a 100755
--- a/sync-all
+++ b/sync-all
@@ -1008,6 +1008,28 @@ Please remove it (e.g. "rm -r libraries/time"), and then run
 EOF
     }
 
+    message "== Checking for obsolete Git repo URL";
+    my $repo_url = &readgit(".", 'config', '--get', 'remote.origin.url');
+    if ($repo_url =~ /^http:\/\/darcs.haskell.org/) {
+            print <<EOF;
+============================
+ATTENTION!
+
+You seem to be using obsolete Git repository URLs.
+
+Please run
+
+  ./sync-all -r git://git.haskell.org remote set-url
+
+or (in case port 9418/tcp is filtered by your firewall)
+
+  ./sync-all -r http://git.haskell.org remote set-url
+
+to update your local checkout to use the new Git URLs.
+============================
+EOF
+    }
+
     $? = $ec;
 }