1
0
Fork 0
mirror of https://github.com/git/git.git synced 2024-06-15 07:16:37 +02:00
git/.github
Junio C Hamano 763f20fb4a Merge branch 'tb/ci-concurrency'
Avoid unnecessary builds in CI, with settings configured in
ci-config.

* tb/ci-concurrency:
  ci: avoid unnecessary builds
2023-01-16 12:07:46 -08:00
..
workflows Merge branch 'tb/ci-concurrency' 2023-01-16 12:07:46 -08:00
CONTRIBUTING.md
PULL_REQUEST_TEMPLATE.md