[PATCH 0/6] http (dumb): end urls with slash

This patch series contains Gabriel's fix, as well as some related work I did in the area while looking through the code paths.

Contents: -- [PATCH 1/6] shift end_url_with_slash() from http.[ch] to url.[ch] [PATCH 2/6] url: add str wrapper for end_url_with_slash() [PATCH 3/6] http-push: Normalise directory names when pushing to some WebDAV servers [PATCH 4/6] http-backend: use end_url_with_slash() [PATCH 5/6] http-push: check path length before using it [PATCH 6/6] http-push: add trailing slash at arg-parse time, instead of later on

-- 1.7.3.67.g2a10b