tree 0f582605132ac128ccfdc64328215ce71658bb40
parent 4d96a1280b49b210c1080742c1363209e577fef4
parent 7c9b38d267129625adeced9f66140e802c345261
author Junio C Hamano <gitster@pobox.com> 1780967091 +0900
committer Junio C Hamano <gitster@pobox.com> 1780967091 +0900

Merge branch 'jc/doc-monitor-ghci'

Encourage original authors to monitor the CI status.

* jc/doc-monitor-ghci:
  SubmittingPatches: proactively monitor GHCI pages