[PATCH 0/2] Support updating working trees when pushing into non-bare repos

A few years ago, this developer was convinced that it was a bad idea to auto-update working directories when pushing into the current branch, and that an excellent way to prove this was to implement that feature. To his surprise, it turned out to be the one thing he misses most in upstream Git.

So here goes: this patch series adds support for two new receive.denyCurrentBranch settings: one to update the working directory (which must be clean, i.e. there must not be any uncommitted changes) when pushing into the current branch, the other setting detaches the HEAD instead.

The scenario in which in particular the 'updateInstead' setting became a boon in this developer's daily work is a multi-laptop one, where working directories need to be updated between computers without a hassle.

Johannes Schindelin (2):
  Add a few more values for receive.denyCurrentBranch
  Let deny.currentBranch=updateInstead ignore submodules

 Documentation/config.txt |  5 +++++
 builtin/receive-pack.c   | 58 ++++++++++++++++++++++++++++++++++++++++++++++--
 t/t5516-fetch-push.sh    | 36 ++++++++++++++++++++++++++++++
 3 files changed, 97 insertions(+), 2 deletions(-)