From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 29 Aug 2023 20:51:44 +0000 (-0700)
Subject: Merge branch 'jc/ci-skip-same-commit'
X-Git-Tag: v2.43.0-rc0~124
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=3d0e70ae069f013ab89f40b74dedb2cdd119925e;p=thirdparty%2Fgit.git

Merge branch 'jc/ci-skip-same-commit'

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
---

3d0e70ae069f013ab89f40b74dedb2cdd119925e