Re: [PATCH] log: decorate detached HEAD differently

2015-03-10 Thread Michael J Gruber
Junio C Hamano venit, vidit, dixit 10.03.2015 03:03: > Michael J Gruber writes: > >> Junio C Hamano venit, vidit, dixit 06.03.2015 20:03: >>> Michael J Gruber writes: Note that now a checked branch is listed twice, once as target of the HEAD, once as branch: They are

Re: [PATCH] log: decorate detached HEAD differently

2015-03-09 Thread Junio C Hamano
Michael J Gruber writes: > Junio C Hamano venit, vidit, dixit 06.03.2015 20:03: >> Michael J Gruber writes: >>> >>> Note that now a checked branch is listed twice, once as target of the >>> HEAD, once as branch: They are two different refs and colored >>> differently. >> >> The po

Re: [PATCH] log: decorate detached HEAD differently

2015-03-09 Thread Michael J Gruber
Junio C Hamano venit, vidit, dixit 06.03.2015 20:03: > Michael J Gruber writes: > >> "git status" and "git branch" let the user know when the HEAD is >> detached, as well as the current branch, while "git log --decorate" does not. >> >> Change the decoration by a non-detached HEAD pointing to bra

Re: [PATCH] log: decorate detached HEAD differently

2015-03-06 Thread Junio C Hamano
Michael J Gruber writes: > "git status" and "git branch" let the user know when the HEAD is > detached, as well as the current branch, while "git log --decorate" does not. > > Change the decoration by a non-detached HEAD pointing to branch foo to > "HEAD->foo". This can be seen as giving more inf

Re: [PATCH] log: decorate detached HEAD differently

2015-03-06 Thread Michael J Gruber
Michael J Gruber venit, vidit, dixit 06.03.2015 17:15: ... and maybe the patch title should be different for v2, too: log: decorate non-detached HEAD differently Not my day today it seems, but this is my last patch for today. Michael -- To unsubscribe from this list: send the line "unsubscribe

[PATCH] log: decorate detached HEAD differently

2015-03-06 Thread Michael J Gruber
"git status" and "git branch" let the user know when the HEAD is detached, as well as the current branch, while "git log --decorate" does not. Change the decoration by a non-detached HEAD pointing to branch foo to "HEAD->foo". This can be seen as giving more information about the decoration item i

[RFC/PATCH] log: decorate detached HEAD differently

2015-02-18 Thread Michael J Gruber
"git status" and "git branch" let the user know when the HEAD is detached, while "git log --decorate" does not. Change the decoration by a detached HEAD to "detached HEAD". This can be seen as giving more information about the decoration item itself in the same way as we prefix tags by "tag: ". S