From: Junio C Hamano <gitster@pobox.com>
Date: Thu, 2 Nov 2023 07:53:15 +0000 (+0900)
Subject: Merge branch 'jc/ci-skip-same-commit' into maint-2.42
X-Git-Tag: v2.42.1~48
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=ec7cc187d48e5d23d5eebd273ce62d2b7aaa8e4f;p=thirdparty%2Fgit.git

Merge branch 'jc/ci-skip-same-commit' into maint-2.42

Tweak GitHub Actions CI so that pushing the same commit to multiple
branch tips at the same time will not waste building and testing
the same thing twice.

* jc/ci-skip-same-commit:
  ci: avoid building from the same commit in parallel
---

ec7cc187d48e5d23d5eebd273ce62d2b7aaa8e4f