diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-05-15 13:59:05 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-05-15 13:59:05 -0700 |
commit | be2fd0edb16951959d6e045dce9232650cfeada0 (patch) | |
tree | 650360099568b60266eb8243df3cd49b5563986f /Documentation/git-push.txt | |
parent | 3fb8a0f0a24cc265112a96db52117d15232adc25 (diff) | |
parent | 9019d7dceb85bd821a32930c49a4675015bcc283 (diff) | |
download | git-be2fd0edb16951959d6e045dce9232650cfeada0.tar.gz |
Merge branch 'jc/name-rev-deprecate-stdin-further'
The "--stdin" option of "git name-rev" has been replaced with
the "--annotate-stdin" option more than a year ago. We stop
advertising it in the "git name-rev -h" output.
* jc/name-rev-deprecate-stdin-further:
name-rev: make --stdin hidden
Diffstat (limited to 'Documentation/git-push.txt')
0 files changed, 0 insertions, 0 deletions