Merge branch 'master' into next
commit9dd9ae1dc9a92a0884ea1b092136b8388d89cdaf
authorJunio C Hamano <gitster@pobox.com>
Sat, 19 Apr 2008 07:25:24 +0000 (19 00:25 -0700)
committerJunio C Hamano <gitster@pobox.com>
Sat, 19 Apr 2008 07:25:24 +0000 (19 00:25 -0700)
tree134007b8cb07e717e6a93296a1d282f4670bc068
parentce134ad9493e58c43faa97f7ee6a930a34e54f45
parent8876046037a3064f906d2155ea30cb6db186e409
Merge branch 'master' into next

* master:
  gitweb: Fix 'history' view for deleted files with history
  Document that WebDAV doesn't need git on the server, and works over SSL
  git-remote: reject adding remotes with invalid names
  am: POSIX portability fix
builtin-remote.c