diff options
author | Junio C Hamano <gitster@pobox.com> | 2024-05-13 10:19:47 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2024-05-13 10:19:47 -0700 |
commit | 537f17ec8bfe822037d5d72fa4e66463a7b47980 (patch) | |
tree | 66f19ce9889a6d91c7a4cf950301d40ec72f612c /builtin/commit.c | |
parent | 6cb0bd7fc3bee82d38d8cf99b9e1bbfa4d35a845 (diff) | |
parent | 157ed03c8306596b40dba008a49c55064521393a (diff) |
Merge branch 'jk/ci-test-with-jgit-fix'
CI fix.
* jk/ci-test-with-jgit-fix:
ci: update coverity runs_on_pool reference
Diffstat (limited to 'builtin/commit.c')
0 files changed, 0 insertions, 0 deletions