Re: How to manage heads on a remote repository?

From: Michael Witten <mfwitten@mit.edu>
Date: Oct 14, 2007, 10:55 UTC
Message-ID: <FE53CAAB-6BAC-4EB6-A36F-C9DA69EDB04A@mit.edu>
In-Reply-To: <E1Ih0zJ-0004FZ-0A@tinytim.thunk.org>

On 14 Oct 2007, at 6:46:25 AM, Theodore Ts'o wrote:

Show 11 quoted lines

> so any automation at the moment
> looks like it would require me writing my own script and using  
> something
> like this:
>
>       ssh remote-host git --git-dir=xxx branch -D topics/foo
>
> ... which of course wouldn't work repo.or.cz since it requires shell
> access.
>
> Am I missing anything?

With my little exposure to git, I'd say it's not currently possible with the git ui, but please wait for someone more authoritative to say so.

In any case, I've run across similar problems, and I think this is
a good time to point out the feature that would be nice:
	
	All (most) git ui operations should be (relatively)
	transparent across networks;

I would like to clone to a remote server, for instance.

Michael Witten