On 11/04/2011 11:18, Manuel M T Chakravarty wrote:
Simon Marlow:
While it would be really nice to have an easy way to create public
forks for the whole GHC tree, we didn't have that with darcs
either, so we haven't lost anything. In due course we can look
into submodules or other ways of achiev
Simon Marlow:
> On 10/04/2011 14:08, Manuel M T Chakravarty wrote:
>> Simon Marlow:
>>> On 09/04/11 10:11, Edward Z. Yang wrote:
Excerpts from Manuel M T Chakravarty's message of Sat Apr 09
01:56:43 -0400 2011:
> Would the use of submodules, instead of separate repos and the
> sy
On 10/04/2011 14:08, Manuel M T Chakravarty wrote:
Simon Marlow:
On 09/04/11 10:11, Edward Z. Yang wrote:
Excerpts from Manuel M T Chakravarty's message of Sat Apr 09
01:56:43 -0400 2011:
Would the use of submodules, instead of separate repos and the
sync-all script, address that problem, so t
On Sun, Apr 10, 2011 at 3:24 PM, Edward Z. Yang wrote:
> For me, at least, Github is a convenient way to share commits between machines
> that I do development on, without needing to spend X megabytes for the whole
> repository history (since Github can share objects across forked repositories:
>
For me, at least, Github is a convenient way to share commits between machines
that I do development on, without needing to spend X megabytes for the whole
repository history (since Github can share objects across forked repositories:
that's why forks count much less against your space limit). If
Simon Marlow:
> On 09/04/11 10:11, Edward Z. Yang wrote:
>> Excerpts from Manuel M T Chakravarty's message of Sat Apr 09 01:56:43 -0400
>> 2011:
>>> Would the use of submodules, instead of separate repos and the sync-all
>>> script, address that problem, so that forking the main repo would also fo
On 09/04/11 10:11, Edward Z. Yang wrote:
Excerpts from Manuel M T Chakravarty's message of Sat Apr 09 01:56:43 -0400
2011:
Would the use of submodules, instead of separate repos and the sync-all
script, address that problem, so that forking the main repo would also fork
the submodules?
Submod
Excerpts from Manuel M T Chakravarty's message of Sat Apr 09 01:56:43 -0400
2011:
> Would the use of submodules, instead of separate repos and the sync-all
> script, address that problem, so that forking the main repo would also fork
> the submodules?
Submodules would definitely help, and it's so
I saw that a considerable number of people forked GHC on GitHub. I am
wondering, does that make any sense without forking all the package repos as
well?
In my experience of hacking GHC, once you go off onto a major branch, at least
core packages, such as base, will diverge pretty quickly as we
