Re: git repos for testing (was: Re: RFC: migrating to git)

2011-01-16 Thread Iavor Diatchki
Hello, thanks for this Simon! I've ported my work on the type-naturals feature as a git branch, and everything seems to be working as expected so far. I've put my modified repos at http://code.galois.com/cgi-bin/gitweb (their names all start with the type-naturals prefix). I am sending the link

Re: git repos for testing (was: Re: RFC: migrating to git)

2011-01-13 Thread Johan Tibell
On Thu, Jan 13, 2011 at 4:03 PM, Simon Marlow marlo...@gmail.com wrote: I've made git mirrors of the current GHC HEAD repos (all of them), so people can try out their workflows with git. Poking around in the different repos works for me and is fast. For example: Find new files in base: $ cd

Re: git repos for testing (was: Re: RFC: migrating to git)

2011-01-13 Thread Benedict Eastaugh
On 13 January 2011 15:30, Johan Tibell johan.tib...@gmail.com wrote: We should set up a git daemon at some point as it's much more efficient that pulling over HTTP. As of version 1.6.6, Git is much more efficient over HTTP than it used to be. http://progit.org/2010/03/04/smart-http.html In

Re: git repos for testing (was: Re: RFC: migrating to git)

2011-01-13 Thread David Brown
On Thu, Jan 13 2011, Benedict Eastaugh wrote: On 13 January 2011 15:30, Johan Tibell johan.tib...@gmail.com wrote: We should set up a git daemon at some point as it's much more efficient that pulling over HTTP. As of version 1.6.6, Git is much more efficient over HTTP than it used to be.