Changes between Version 6 and Version 7 of WorkingConventions/Repositories


Ignore:
Timestamp:
Nov 2, 2012 7:39:02 PM (18 months ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions/Repositories

    v6 v7  
    114114cd ../.. 
    115115git commit -a 
     116./sync-all push 
    116117}}} 
    117 and then push as normal. 
    118118 
    119119There are some scenarios where you may need to modify GHC's repository 
     
    133133In order to make the change in this case, you 
    134134{{{ 
    135 ... TODO: git commands to be filled in ... 
     135cd libraries/foo 
     136git commit -a 
     137cd ../.. 
     138git commit -a 
     139./sync-all push 
    136140}}} 
    137141