diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-04-29 19:44:40 (GMT) |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-04-29 19:44:40 (GMT) |
| commit | dbd5e0a1861c5bb1446e5518173aa1760c6617b0 (patch) | |
| tree | 1cf8125fb2e1d96f34115fee5aebae075a7ab414 /Documentation/git-commit-graph.txt | |
| parent | 7a9ce0269bc0f4ef230f930b3910b70ac3142552 (diff) | |
| download | git-dbd5e0a1861c5bb1446e5518173aa1760c6617b0.zip git-dbd5e0a1861c5bb1446e5518173aa1760c6617b0.tar.gz git-dbd5e0a1861c5bb1446e5518173aa1760c6617b0.tar.bz2 | |
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 91e8027..46f7f7c 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':: |