From: Shawn Landden <slandden@gmail.com>
Date: Sat, 25 May 2019 21:48:30 GMT
Subject: receive.denyCurrentBranch that allows pushing data, just not changing branch
Message-ID: <CA+49okox4CfSWgQrdAYrM=R3ZNThWgkEY9RZtDzOMxAVs5b7Dw@mail.gmail.com>

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