Merge branch 'ms/doc-push-fix'

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

Junio C Hamano committed Oct 30, 2023 at 07:09 UTC 3adc25a695e4dbcc925d883d5de32c6aeb0931b2

No changes.