]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 031c245 7c9b38d)
Merge branch 'jc/doc-monitor-ghci' into jch
authorJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2026 04:01:24 +0000 (13:01 +0900)
committerJunio C Hamano <gitster@pobox.com>
Fri, 29 May 2026 04:01:24 +0000 (13:01 +0900)
commite655ccb2dab13baf4fbc82a4bca43eddc0fb8e9c
tree6f92c1dad8c44b13ee829a8d2959e4c7211a24cetree | snapshot
parent031c245d10dd23dd4d267ccaea45a49c5bdfd6b8commit | diff
parent7c9b38d267129625adeced9f66140e802c345261commit | diff
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
Documentation/SubmittingPatches diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.