mirror of
https://github.com/git/git
synced 2024-11-05 04:53:18 +00:00
537f17ec8b
CI fix. * jk/ci-test-with-jgit-fix: ci: update coverity runs_on_pool reference |
||
---|---|---|
.. | ||
workflows | ||
CONTRIBUTING.md | ||
PULL_REQUEST_TEMPLATE.md |