From: Johannes Schindelin Date: Thu, 19 Jul 2007 02:54:51 GMT Subject: Re: [REVISED PATCH 3/6] Add git-notes Message-ID: In-Reply-To: Hi, On Thu, 19 Jul 2007, Johannes Schindelin wrote: > +MESSAGE="$GIT_DIR"/new-notes > +trap ' > + test -f "$MESSAGE" && rm "$MESSAGE" > +' 0 Oh, well. Probably this should use mktemp and should handle GIT_INDEX_FILE, too. Will do that tomorrow. Ciao, Dscho