From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 2 Jun 2026 07:44:02 +0000 (+0900)
Subject: Merge branch 'jc/doc-monitor-ghci' into next
X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=46fb5fe1c2a858d4f87134028b2e18060cf70ad6;p=thirdparty%2Fgit.git

Merge branch 'jc/doc-monitor-ghci' into next

Encourage original authors to monitor the CI status.

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

46fb5fe1c2a858d4f87134028b2e18060cf70ad6