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(-) -- 2.0.0.rc3.9669.g840d1f9 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
