Changes between Version 5 and Version 6 of WorkingConventions/Repositories


Ignore:
Timestamp:
Nov 2, 2012 7:36:35 PM (3 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WorkingConventions/Repositories

    v5 v6  
    110110GHC's submodule by running 
    111111{{{ 
    112 ... TODO: git commands to be filled in ... 
     112cd libraries/foo 
     113git reset --hard some_commit_id 
     114cd ../.. 
     115git commit -a 
    113116}}} 
     117and then push as normal. 
    114118 
    115119There are some scenarios where you may need to modify GHC's repository