Changes between Version 2 and Version 3 of Repositories/Upstream


Ignore:
Timestamp:
Feb 5, 2013 2:04:48 PM (2 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Repositories/Upstream

    v2 v3  
    7777If you need to modify one of these libraries, then ordinarily you should 
    7878first send the modifications upstream. Ideally upstream will apply the 
    79 patches and make a release (the easiest way to acomplish objective 1 is 
     79patches and make a release (the easiest way to accomplish objective 1 is 
    8080for changes to be applied upstream ''first'', so that they can't be 
    8181forgotten about after being applied to GHC's repo). You can then update 
     
    107107cd libraries/foo 
    108108git commit -a 
     109git push -f origin HEAD:refs/heads/ghc-head 
    109110cd ../.. 
    110111git commit -a 
    111112./sync-all push 
    112113}}} 
     114(use e.g. `ghc-7.6` rather than `ghc-head` if this patch is for a branch only). 
    113115 
    114116'''Important:''' If you make a change to a submodule, then make sure you