Re: repo.or.cz wishes?

From: Petr Baudis <pasky@suse.cz>
Date: Aug 27, 2007, 00:41 UTC
Message-ID: <20070827004153.GN1219@pasky.or.cz>
In-Reply-To: <20070827001634.GB1976MdfPADPa@greensroom.kotnet.org>

On Mon, Aug 27, 2007 at 02:16:34AM CEST, Sven Verdoolaege wrote:

Show 6 quoted lines

> 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?

I'm a major proponent of the "git+" - it's just the correct thing to specify. ssh:// by itself means secure _shell_, and that's not what the URL means - ssh is literaily just a transport layer for the git protocol. This is not my invention but fairly standard thing which plenty of people use, and it makes it possible to select proper protocol handlers and so on, shall something generic crunch on the URL. I've never actually understood why do some people dislike it.

> 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.

Hmm, this shouldn't be very hard to do if the support will get into gitweb. And adding the support to gitweb shouldn't be that hard either. :-) OTOH, it's not something that would get me terribly excited, so I guess I'll wait for the gitweb side.

-- 
				Petr "Pasky" Baudis
Early to rise and early to bed makes a male healthy and wealthy and dead.
                -- James Thurber