diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-06-17 15:55:54 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-06-17 15:55:54 -0700 |
commit | dfd668fa844f6ba18e6588a5988438baaa2d3e06 (patch) | |
tree | 2e8350633751fd446a8be15269a8ad8b2c1c15e5 /commit-graph.c | |
parent | 4551858c189ba2d32bd3654fe843c3d54a77b1c8 (diff) | |
parent | f60fec6a1665891e50b94ff553b4165fe8ab3f2d (diff) |
Merge branch 'ps/check-docs-fix'
"make check-docs" noticed problems and reported to its output but
failed to signal its findings with its exit status, which has been
corrected.
* ps/check-docs-fix:
ci/test-documentation: work around SyntaxWarning in Python 3.12
gitlab-ci: add job to run `make check-docs`
Documentation/lint-manpages: bubble up errors
Makefile: extract script to lint missing/extraneous manpages
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions