Hello Bastien,
The server does seem to support HTTP for pulling, however it is very slow. I have to use http from work because the firewall blocks the git:// protocol. Times on my prompt are DST (-0400).
[10:22:25] ~/test$ git clone http://orgmode.org/org-mode.git
Cloning into org-mode...
[10:35:43] ~/test$ cd org-mode/
[10:36:46] ~/test/org-mode$ git log -1
commit 74cca9f57ee3896dad85d3b354d1d9db286e799b
Date: Thu Aug 18 15:44:46 2011 +0200
org-indent: silence byte-compiler
[10:36:57] ~/test/org-mode$ cat .git/config
[core]
repositoryformatversion = 0
filemode = true
bare = false
logallrefupdates = true
ignorecase = true
[remote "origin"]
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master
http:// does work for cloning and pulling from the main Repo, however there's nothing to indicate that anything is happening until the task is complete.
Regards,
Jonathan