Re: git remote set-head not working?
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Dec 18, 2009, 21:42 UTC
- Message-ID
- <7veimst0w6.fsf@alter.siamese.dyndns.org>
- In-Reply-To
- <76718490912181328k5f87d82u499b7a1eba471126@mail.gmail.com>
Jay Soffian <jaysoffian@gmail.com> writes:
Show 7 quoted lines
> 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.