Hi, On Mon, 25 Mar 2019, Johannes Schindelin via GitGitGadget wrote: > Johannes Schindelin (5): > docs: move gitremote-helpers into section 7 > docs: do not document the `git remote-testgit` command > check-docs: really look at the documented commands again > check-docs: do not expect guide pages to correspond to commands > check-docs: fix for setups where executables have an extension FWIW I am also working on a follow-up patch series [*1*] that resolves all issues reported by `make check-docs` on Windows, but I do not want to make this here patch series even bigger (from an initial single, relatively small patch). Ciao, Johannes Foontote *1*: Tracked here: https://github.com/gitgitgadget/git/pull/168