diff options
author | Junio C Hamano <gitster@pobox.com> | 2018-09-17 13:53:48 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2018-09-17 13:53:48 -0700 |
commit | 8b6f6075befc935faa3330ee467e537694ac1d32 (patch) | |
tree | d686d1da77d63df83acb6f5ac4bbea7cbd066a56 /Documentation/git-format-patch.txt | |
parent | Merge branch 'bp/checkout-new-branch-optim' (diff) | |
parent | rev-list: make empty --stdin not an error (diff) | |
download | tgif-8b6f6075befc935faa3330ee467e537694ac1d32.tar.xz |
Merge branch 'jk/rev-list-stdin-noop-is-ok'
"git rev-list --stdin </dev/null" used to be an error; it now shows
no output without an error. "git rev-list --stdin --default HEAD"
still falls back to the given default when nothing is given on the
standard input.
* jk/rev-list-stdin-noop-is-ok:
rev-list: make empty --stdin not an error
Diffstat (limited to 'Documentation/git-format-patch.txt')
0 files changed, 0 insertions, 0 deletions