From: Ævar Arnfjörð Bjarmason <avarab@gmail.com>
Date: Sat, 25 May 2019 23:39:42 GMT
Subject: Re: receive.denyCurrentBranch that allows pushing data, just not changing branch
Message-ID: <875zpyf6ip.fsf@evledraar.gmail.com>
In-Reply-To: <CA+49okox4CfSWgQrdAYrM=R3ZNThWgkEY9RZtDzOMxAVs5b7Dw@mail.gmail.com>


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?