diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2015-04-14 11:49:10 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-04-14 11:49:10 -0700 |
| commit | fa9aaa8f1051bd7b0cd437a5006898277ec42805 (patch) | |
| tree | c61245e041ea4e0bdcf2c4cd09555ae5bc324b82 /contrib/diff-highlight | |
| parent | Merge branch 'sb/plug-streaming-leak' (diff) | |
| parent | push-to-deploy: allow pushing into an unborn branch and updating it (diff) | |
| download | tgif-fa9aaa8f1051bd7b0cd437a5006898277ec42805.tar.xz | |
Merge branch 'jc/update-instead-into-void'
A push into an unborn branch, with "receive.denyCurrentBranch" set
to "updateInstead", did not check out the working tree as expected.
* jc/update-instead-into-void:
push-to-deploy: allow pushing into an unborn branch and updating it
Diffstat (limited to 'contrib/diff-highlight')
0 files changed, 0 insertions, 0 deletions