Re: receive.denyCurrentBranch that allows pushing data, just not changing branch
- From
Ævar Arnfjörð Bjarmason <avarab@gmail.com>
- Date
- May 25, 2019, 23:39 UTC
- 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?