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