From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 9 Jun 2026 01:04:51 +0000 (+0900)
Subject: Merge branch 'jc/doc-monitor-ghci'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=18b6502b3a0036a53cfa707e5a360374c47b8797;p=rit

Merge branch 'jc/doc-monitor-ghci'

Encourage original authors to monitor the CI status.

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

18b6502b3a0036a53cfa707e5a360374c47b8797