Changes between Version 6 and Version 7 of WorkingConventions/Repositories


Ignore:
Timestamp:
Nov 2, 2012 7:39:02 PM (3 years 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