Re: [PATCH 0/3] remote HEAD improvements
- From
Jeff King <peff@peff.net>
- Date
- Feb 12, 2009, 00:17 UTC
- Message-ID
- <20090212001717.GA30231@coredump.intra.peff.net>
- In-Reply-To
- <1234332083-45147-1-git-send-email-jaysoffian@gmail.com>
On Wed, Feb 11, 2009 at 01:01:20AM -0500, Jay Soffian wrote:
Show 10 quoted lines
> 1) Teaches git remote a new "sethead" verb: > > To set a remote HEAD explicitly: > $ git remote sethead <name> <branch> > > To set a remote HEAD to match the upstream repo: > $ git remote sethead <name> -a > > To delete a remote HEAD: > $ git remote sethead <name> -d
I like these semantics a lot. I will do worse than bikeshed, though, and say that I don't like the color you painted it without even proposing a color of my own. Which is to say, I think "sethead" is not the best name. But I like it better than the alternatives I've seen, so maybe it is OK.
Perhaps it is just the run-together word that makes it worse. Something like "set-head" might be better (I guess I couldn't resist suggesting a color, after all).
I have a few comments, which I will post in reply to the individual patches.
-Peff