From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 02 Dec 2014 16:51:57 GMT
Subject: Re: [PATCH v5] Add another option for receive.denyCurrentBranch
Message-ID: <alpine.DEB.1.00.1412021750340.13845@s15462909.onlinehome-server.info>
In-Reply-To: <xmqqzjb6m3a2.fsf@gitster.dls.corp.google.com>

Hi Junio,

On Tue, 2 Dec 2014, Junio C Hamano wrote:

> This feature [...] needs to be documented with an entry in the BUGS
> section, saying that it will not work in a repository that is tied to
> its working tree via the "gitdir:" mechanism.

Fair enough. But which BUGS section? Should I add one to `git-push.txt` or
`git-receive-pack.txt`? Technically, it should be the latter, but nobody's
gonna find it there...

Ciao,
Johannes