Subject: Re: receive.denyCurrentBranch that allows pushing data, just not changing branch

From: Ævar Arnfjörð Bjarmason <[email-masked]>
Date: Sun, 26 May 2019 01:39:42 +0200

On Sat, May 25 2019, Shawn Landden wrote:

> It would be nice if when pushing to a checked out repo you could get
> up git to still push the commits, just not update the branch's HEAD.

How would this proposed feature differ from what
receive.denyCurrentBranch=false does now?

You have a commit X in a non-bare repo. Your checkout is checked-out to
X, your index has X's content in it, and the branch reference is at X.

Now you push Y to the branch reference, what would you like to have
happen to the checkout & index at this point?