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 /git-rebase.sh | |
| parent | 66edfe9ddc29102fa39edd37f9aecccbaca6a013 (diff) | |
| download | git-1404bcbb6b3bdb248d32024430644e55faec91ce.tar.gz | |
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 'git-rebase.sh')
0 files changed, 0 insertions, 0 deletions