From: Junio C Hamano <gitster@pobox.com>
Date: Fri, 18 Dec 2009 21:42:17 GMT
Subject: Re: git remote set-head not working?
Message-ID: <7veimst0w6.fsf@alter.siamese.dyndns.org>
In-Reply-To: <76718490912181328k5f87d82u499b7a1eba471126@mail.gmail.com>

Jay Soffian <jaysoffian@gmail.com> writes:

> On Fri, Dec 18, 2009 at 12:38 PM, Eugene Sajine <euguess@gmail.com> wrote:
>> Yes. I was trying to change the HEAD on the bare remote (origin) repo
>> and the concept here is really confusing.
>
> The remote command is about updating things under .git/refs/remotes,
> not about updating a remote server. For updating a remote server,
> there is really only push. Clear as mud?

We still support (and unfortunately we would probably end up supporting
for a long time) "remote update" so it is not strictly true, but that is
the original motivation behind "git remote" subcommand.

> Understood. I'm not sure whether the send-pack/receive-pack protocol
> supports the notion of "I want to change what HEAD points to."

It does not support it, but that is not because there is a strong reason
it shouldn't.