Re: [PATCHv4 00/21] git notes merge

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Sverre Rabbelier
Date: Friday, October 22, 2010 - 6:44 pm

Heya,

On Fri, Oct 22, 2010 at 17:47, Johan Herland <johan@herland.net> wrote:

Indeed, which I think is a shame. For that matter, I'd love to be able
to have negative globs for branches in general (e.g., 'git log
--branches :-heads/hidden/**).


That goes against how notes are used though. The refs/notes/* space is
the one that is shown by default, not refs/notes/local/*.

[...]

I think getting those shorthands in git config/git remote is step one,
if we do want that. Then, if desired, we can add that to git clone.



Agreed.

-- 
Cheers,

Sverre Rabbelier
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
[PATCHv4 00/21] git notes merge, Johan Herland, (Wed Oct 20, 7:08 pm)
Re: [PATCHv4 06/21] notes.h/c: Propagate combine_notes_fn ..., Jonathan Nieder, (Wed Oct 20, 10:21 pm)
Re: [PATCHv4 00/21] git notes merge, Sverre Rabbelier, (Thu Oct 21, 2:00 pm)
Re: [PATCHv4 00/21] git notes merge, Junio C Hamano, (Thu Oct 21, 4:20 pm)
Re: [PATCHv4 00/21] git notes merge, Jonathan Nieder, (Thu Oct 21, 4:30 pm)
Re: [PATCHv4 00/21] git notes merge, Johan Herland, (Fri Oct 22, 8:41 am)
Re: [PATCHv4 00/21] git notes merge, Sverre Rabbelier, (Fri Oct 22, 8:54 am)
Re: [PATCHv4 00/21] git notes merge, Johan Herland, (Fri Oct 22, 3:28 pm)
Re: [PATCHv4 00/21] git notes merge, Johan Herland, (Fri Oct 22, 5:47 pm)
Re: [PATCHv4 00/21] git notes merge, Sverre Rabbelier, (Fri Oct 22, 6:38 pm)
Re: [PATCHv4 00/21] git notes merge, Sverre Rabbelier, (Fri Oct 22, 6:44 pm)