
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
On Thu, Jan 13 2011, Benedict Eastaugh wrote:
On 13 January 2011 15:30, Johan Tibell
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.
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