]> Kevux Git Server - rit/commit
Merge branch 'jc/doc-monitor-ghci'
authorJunio C Hamano <gitster@pobox.com>
Tue, 9 Jun 2026 01:04:51 +0000 (10:04 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 9 Jun 2026 01:04:51 +0000 (10:04 +0900)
commit18b6502b3a0036a53cfa707e5a360374c47b8797
tree0f582605132ac128ccfdc64328215ce71658bb40
parent4d96a1280b49b210c1080742c1363209e577fef4
parent7c9b38d267129625adeced9f66140e802c345261
Merge branch 'jc/doc-monitor-ghci'

Encourage original authors to monitor the CI status.

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