On Mon, Aug 27, 2007 at 01:59:44AM +0200, Petr Baudis wrote: > So now I wonder, what is the thing you miss most there? Any cool stuff > repo.or.cz could (preferrably easily) do and doesn't? Just a minor nit, but how about dropping the "git+" from the Push URL? Jakub was also talking about support in gitweb for specifying the location of submodules. It would be nice if admins could set this information, wherever it ends up getting stored. skimo - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
