diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2014-11-26 23:44:16 +0100 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2014-11-30 17:15:13 -0800 |
commit | 1404bcbb6b3bdb248d32024430644e55faec91ce (patch) | |
tree | d02bc43daffcc76e8fc33aa4f5d13cfafca4a9f4 /ppc/sha1.c | |
parent | Git 2.2.0-rc1 (diff) | |
download | tgif-1404bcbb6b3bdb248d32024430644e55faec91ce.tar.xz |
receive-pack: add another option for receive.denyCurrentBranch
When synchronizing between working directories, it can be handy to update
the current branch via 'push' rather than 'pull', e.g. when pushing a fix
from inside a VM, or when pushing a fix made on a user's machine (where
the developer is not at liberty to install an ssh daemon let alone know
the user's password).
The common workaround – pushing into a temporary branch and then merging
on the other machine – is no longer necessary with this patch.
The new option is:
'updateInstead':
Update the working tree accordingly, but refuse to do so if there
are any uncommitted changes.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'ppc/sha1.c')
0 files changed, 0 insertions, 0 deletions