diff options
author | Junio C Hamano <gitster@pobox.com> | 2015-03-31 23:15:45 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-04-01 22:40:10 -0700 |
commit | 1a51b52422e055e433dec9a496621341d70d38ff (patch) | |
tree | 771ce6613ff70e626aeaaaf137ba7a8019b7b679 /Documentation/pretty-options.txt | |
parent | receive-pack: support push-to-checkout hook (diff) | |
download | tgif-1a51b52422e055e433dec9a496621341d70d38ff.tar.xz |
push-to-deploy: allow pushing into an unborn branch and updating it
Setting receive.denycurrentbranch to updateinstead and pushing into
the current branch, when the working tree and the index is truly
clean, is supposed to reset the working tree and the index to match
the tree of the pushed commit. This did not work when pushing into
an unborn branch.
The code that drives push-to-checkout hook needs no change, as the
interface is defined so that hook can decide what to do when the
push is coming to an unborn branch and take an appropriate action
since the beginning.
Acked-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/pretty-options.txt')
0 files changed, 0 insertions, 0 deletions