Merge branch 'ms/doc-push-fix' into maint-2.42

Docfix. * ms/doc-push-fix: git-push doc: more visibility for -q option

Junio C Hamano committed Nov 2, 2023 at 16:53 UTC b8e45c5aa285ef7fbc7d59fb282ea0b7fb2fabf6

No changes.