diff options
author | Junio C Hamano <gitster@pobox.com> | 2020-04-29 12:44:40 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2020-04-29 12:44:40 -0700 |
commit | dbd5e0a1861c5bb1446e5518173aa1760c6617b0 (patch) | |
tree | 1cf8125fb2e1d96f34115fee5aebae075a7ab414 /Documentation/git-commit-graph.txt | |
parent | commit-graph.c: introduce '--[no-]check-oids' (diff) | |
download | tgif-dbd5e0a1861c5bb1446e5518173aa1760c6617b0.tar.xz |
Revert "commit-graph.c: introduce '--[no-]check-oids'"
This reverts commit 7a9ce0269bc0f4ef230f930b3910b70ac3142552,
which has not yet gained consensus.
Diffstat (limited to 'Documentation/git-commit-graph.txt')
-rw-r--r-- | Documentation/git-commit-graph.txt | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/Documentation/git-commit-graph.txt b/Documentation/git-commit-graph.txt index 91e8027b86..46f7f7c573 100644 --- a/Documentation/git-commit-graph.txt +++ b/Documentation/git-commit-graph.txt @@ -82,11 +82,6 @@ tip with the previous tip. Finally, if `--expire-time=<datetime>` is not specified, let `datetime` be the current time. After writing the split commit-graph, delete all unused commit-graph whose modified times are older than `datetime`. -+ -The `--[no-]check-oids` option decides whether or not OIDs are required -to be commits. By default, `--check-oids` is implied, generating an -error on non-commit objects. If `--no-check-oids` is given, non-commits -are silently discarded. 'verify':: |