From: Junio C Hamano <gitster@pobox.com>
Date: Wed, 3 Jun 2026 23:13:54 +0000 (+0900)
Subject: Merge branch 'jc/doc-monitor-ghci' into jch
X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=fe813ea5f5d9a34314d137308e0943ca5978827a;p=thirdparty%2Fgit.git

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

Encourage original authors to monitor the CI status.

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

fe813ea5f5d9a34314d137308e0943ca5978827a