Skip to content

gitlint: ignore body lines that are footnotes#84

Merged
mergify[bot] merged 1 commit intosamba-in-kubernetes:masterfrom
phlogistonjohn:jjm-gitlint
Jul 25, 2023

Commits

Commits on Jul 25, 2023