mirror of
https://github.com/git/git.git
synced 2026-05-02 12:26:02 +02:00
763f20fb4a
Avoid unnecessary builds in CI, with settings configured in ci-config. * tb/ci-concurrency: ci: avoid unnecessary builds