push-all needs to skip http:// repos, as we don't know how to push to them
authorIan Lynagh <igloo@earth.li>
Fri, 29 Aug 2008 13:00:19 +0000 (13:00 +0000)
committerIan Lynagh <igloo@earth.li>
Fri, 29 Aug 2008 13:00:19 +0000 (13:00 +0000)
commit6cf43d8eccfcf8bfad7ce1c35a4f174a545c3c2a
tree5af8f2667bcc2cad5be8eab1a4172fefa400e251
parentfb0a3438b4a3c3df99cbe35baab7da97150d41cd
push-all needs to skip  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