Antw: Re: Q: .git/HEAD and .git/refs/heads

2014-04-03 Thread Ulrich Windl
Matthieu Moy matthieu@grenoble-inp.fr schrieb am 02.04.2014 um 19:54 in Nachricht vpqob0jwrbb@anie.imag.fr: Ulrich Windl ulrich.wi...@rz.uni-regensburg.de writes: Hi! I have a small question: After a git gc with last commit being [shared 2679648] I found this: cat .git/HEAD

Q: .git/HEAD and .git/refs/heads

2014-04-02 Thread Ulrich Windl
Hi! I have a small question: After a git gc with last commit being [shared 2679648] I found this: cat .git/HEAD ref: refs/heads/shared cat .git/refs/heads/shared cat: .git/refs/heads/shared: No such file or directory Is this intentional? How does Git find the numeric commit for HEAD? Using

Re: Q: .git/HEAD and .git/refs/heads

2014-04-02 Thread Matthieu Moy
Ulrich Windl ulrich.wi...@rz.uni-regensburg.de writes: Hi! I have a small question: After a git gc with last commit being [shared 2679648] I found this: cat .git/HEAD ref: refs/heads/shared cat .git/refs/heads/shared cat: .git/refs/heads/shared: No such file or directory Is this