From 6cf43d8eccfcf8bfad7ce1c35a4f174a545c3c2a Mon Sep 17 00:00:00 2001
From: Ian Lynagh <igloo@earth.li>
Date: Fri, 29 Aug 2008 13:00:19 +0000
Subject: [PATCH] push-all needs to skip http:// repos, as we don't know how
 to push to them Alternatives would be to have a GHC haddock
 repo (which I believe David is keen to avoid), or to put
 the SSH URL in the packages file too (which would probably
 mean moving to a more structured file format).

---
 push-all |   10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/push-all b/push-all
index 8e9f9f3..ef4dbc8 100644
--- a/push-all
+++ b/push-all
@@ -45,7 +45,7 @@ sub pushall {
     @repos = <IN>;
     close IN;
 
-    foreach (@repos) {
+    REPO: foreach (@repos) {
         chomp;
         if (/^([^# ]+) +(?:([^ ]+) +)?([^ ]+) +([^ ]+)$/) {
             $localpath = $1;
@@ -56,7 +56,13 @@ sub pushall {
                 $path = "$reporoot/$localpath";
             }
             else {
-                $path = "$reporoot/$remotepath";
+                if ($remotepath =~ /^http:/) {
+                    message "Ignoring $localpath; remote is http URL";
+                    next REPO;
+                }
+                else {
+                    $path = "$reporoot/$remotepath";
+                }
             }
 
             if (-d "$localpath/_darcs") {
-- 
1.7.10.4