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?
