mirror of
https://github.com/git/git.git
synced 2026-02-05 11:36:13 +01:00
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