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 to the repos because this server is running the gitweb interface, in case people wanted to play around with it.
-Iavor


On Thu, Jan 13, 2011 at 9:40 AM, David Brown <haskell3@davidb.org> wrote:
On Thu, Jan 13 2011, Benedict Eastaugh wrote:

> On 13 January 2011 15:30, Johan Tibell <johan.tibell@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

You do have to install the git smart-http plugin in the server, or it
only uses the "dumb" HTTP protocol.

David

_______________________________________________
Glasgow-haskell-users mailing list
Glasgow-haskell-users@haskell.org
http://www.haskell.org/mailman/listinfo/glasgow-haskell-users