Changes between Version 2 and Version 3 of Repositories/Upstream

Timestamp:

02/05/13 06:04:48 (4 months ago)

Author:

igloo

Comment:

--

Repositories/Upstream

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