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

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.

-Shawn Landden

Ævar Arnfjörð Bjarmason· May 25, 2019, 23:39 UTC · re: Shawn Landden · lore

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

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?