From: Ping Yin <pkufranky@gmail.com>
Date: Mon, 31 Dec 2007 06:42:42 GMT
Subject: [bug] Working files created in bare repository when pushing to a rewound bare repository
Message-ID: <46dff0320712302242m34b5267dlb3f26488293d5d51@mail.gmail.com>

Following scripts can reproduce the problem: in the final line,
foo.txt is generated in bare foo.git

# create bare foo.git and its clone foo
mkdir foo
cd foo && echo foo>foo.txt &&
git init && git add . && git commit -m 'create project foo' && cd ..
cd foo && echo foo1>foo.txt && git commit -a -m "update foo.txt" && cd ..
git clone --bare foo foo.git && rm -rf foo
git clone foo.git foo

# reset bare and then push
cd foo.git && git reset --hard HEAD^ && cd ..
cd foo && git push && cd ..
ls foo.git

branches  config  description  *foo.txt*  HEAD  hooks  index  info
objects  ORIG_HEAD  refs

-- 
Ping Yin