Re: [PATCH v5] Add another option for receive.denyCurrentBranch
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Dec 2, 2014, 16:51 UTC
- 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