Merge branch 'maint'

* maint:
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

diff --cc gitweb/gitweb.perl
Simple merge