[GHC] #3375: Add a command-line option to the darcs-all script to specify the darcs repository to use

[GHC]

#3375: Add a command-line option to the darcs-all script to specify the darcs
repository to use
---------------------------------+------------------------------------------
    Reporter:  seliopou          |        Owner:  seliopou        
        Type:  feature request   |       Status:  new             
    Priority:  normal            |    Milestone:                  
   Component:  Build System      |      Version:  6.10.3          
    Severity:  trivial           |   Resolution:                  
    Keywords:  darcs git         |   Difficulty:  Unknown         
    Testcase:                    |           Os:  Unknown/Multiple
Architecture:  Unknown/Multiple  |  
---------------------------------+------------------------------------------
Changes (by simonmar):

  * difficulty:  => Unknown

Comment:

 There is some overlap with `push-all` here.  `push-all` can push, pull,
 and send, but not get.  I use it a lot for pushing and pulling to/from
 different repository trees.

 Perhaps push-all should be merged with darcs-all?

-- 
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/3375#comment:1>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler