Merge branch 'js/pu-to-seen' into master

Last minute fix-up to documentation. * js/pu-to-seen: gitworkflows.txt: fix broken subsection underline

Junio C Hamano committed Jul 18, 2020 at 16:35 UTC 00a7a21b97a47889cf66de32f8defed023c14c2c

No changes.