Changes between Version 23 and Version 24 of Repositories


Ignore:
Timestamp:
Sep 1, 2011 12:30:43 PM (3 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Repositories

    v23 v24  
    3434This means that when making changes needed in GHC to one of these libraries, we first need to put the changes in the upstream repository. Note that a git hook prevents you from pushing patches to the ghc repos until they are already in the git mirror repos, so that we cannot forget to send changes upstream. 
    3535 
     36The mirrors are updated automatically each night, but you can force an immediate update by running `/srv/darcs/do_mirrors` on `darcs.haskell.org`. 
     37 
    3638== When the master repo is in Git == 
    3739 
     
    4244In other words, you don't need to interact with the git mirror on `darcs.haskell.org`. It is ''only'' there so that in step (2), the push script can check that the patch you are pushing is in the mirror, thereby ensuring that we always lag the master repo.  (For some reason this is hard to do directly on the master.) 
    4345 
    44 So step 2 may fail until the mirror has been updated, which may take overnight.  I believe there is a way to kick the mirror into action earlier, but I don't know what it is. (Ian?) 
     46Note step 2 will fail until the mirror has been updated. 
    4547 
    4648== When the master repo is in Darcs ==