Re: git leaves behind .git/COMMIT_EDITMSG non-shared in --shared non-bare repo
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 19, 2015, 18:24 UTC
- Message-ID
- <alpine.DEB.2.20.1512191923220.6483@virtualbox>
- In-Reply-To
- <1450528804-669-1-git-send-email-szeder@ira.uka.de>
Hi Gábor,
On Sat, 19 Dec 2015, SZEDER Gábor wrote:
Show 10 quoted lines
> > On Fri, 18 Dec 2015, Yaroslav Halchenko wrote: > > > > > Not sure for what batch operations that file is actually useful, > > > > None. This file is written when you commit interactively. It is deleted > > afterwards, unless aborted in a fatal manner. > > Is it? I have a COMMIT_EDITMSG lying around in just about every git > repository I have and couldn't find any unlink() in builtin/commit.c > or elsewhere that would remove it.
Oops. My mistake. Patch sent.
Ciao, Dscho