Lars Hjemli wrote:
> On 2/2/07, Johannes Schindelin <Johannes.Schindelin@xxxxxx> wrote:
>> On Fri, 2 Feb 2007, Jakub Narebski wrote:
>>
>>> Perhaps we should use @{...} to refer to reflog for HEAD, or use yet
>>> another special notation?
>>
>> No.
>>
>> IMHO "bla@{yesterday}" should give you what "bla" pointed to, yesterday.
>> In that sense, the proposed reflog on "HEAD" makes perfect sense.
>
> Since HEAD is a synonym for "current branch" everywhere else in git,
> while .git/logs/HEAD will be a log of detached HEAD (plus branch
> switches, I guess), I think the following makes perfect sense:
>
> "HEAD@{yesterday}" = current branch, yesterday
> "@{yesterday}" = detached head (no branch), yesterday
In the counterproposal, we have
"HEAD@{yesterday}" = where HEAD was at, yesterday
"@{yesterday}" = current branch, yesterday
The side with patch wins (well, the one that can convince Junio).
But serously, that decision is work for maintainer.
--
Jakub Narebski
Poland
-
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