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-Tag: v2.55.0-rc0~9
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=18b6502b3a0036a53cfa707e5a360374c47b8797;p=thirdparty%2Fgit.git

Merge branch 'jc/doc-monitor-ghci'

Encourage original authors to monitor the CI status.

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

18b6502b3a0036a53cfa707e5a360374c47b8797