No subject


Wed Apr 10 17:18:51 CEST 2013


get merged back into the library repository.

git-submodules is a burden for every developer, git-subtree is "just" a
burden for the developer doing the merges with the external repository.

The git-subtree script is more or less just a nice wrapper around the
subtree merge strategy of git-merge. It uses only the available git commands.


Greetings,
Daniel



More information about the ghc-devs mailing list