Merge branch 'js/pu-to-seen' into master
authorJunio C Hamano <redacted>
Sat, 18 Jul 2020 23:35:21 +0000 (16:35 -0700)
committerJunio C Hamano <redacted>
Sat, 18 Jul 2020 23:35:22 +0000 (16:35 -0700)
Last minute fix-up to documentation.

* js/pu-to-seen:
  gitworkflows.txt: fix broken subsection underline


Trivial merge
git clone https://git.99rst.org/PROJECT