On Jan 11, 2008 3:00 AM, Junio C Hamano <gitster@xxxxxxxxx> wrote:
>
> Does this mean "default" is now a new reserved word that cannot
> be used as "git remote update default"?
oops...git-remote already has a (partially undocumented) use for
remotes.* as well as remote.*, so I need another variable name,
probably core.origin to avoid either defining new namespace or
polluting one reserved for arbitrary end-user use. Will resend patches
later tonight.
>
> However, it is a bit hard to judge how much of inconvenience it
> really is in your real life that the current behaviour does not
> allow you to.
I believe I addressed this in the thread with Dscho.
> > git_config(handle_config);
> > + if (!default_remote_name) {
> > + default_remote_name = remotes_default_name ?
> > + remotes_default_name : xstrdup("origin");
> > + }
>
> Is this a bit too deep indentation?
>
will fix.
Mark
-
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
