Junio C Hamano 4ae4c70577 Merge branch 'js/ci-coverity' ... GitHub CI workflow has learned to trigger Coverity check. * js/ci-coverity: coverity: detect and report when the token or project is incorrect coverity: allow running on macOS coverity: support building on Windows coverity: allow overriding the Coverity project coverity: cache the Coverity Build Tool ci: add a GitHub workflow to submit Coverity scans		2023-10-12 12:18:27 -07:00
..
workflows	Merge branch 'js/ci-coverity'	2023-10-12 12:18:27 -07:00
CONTRIBUTING.md	docs: mention MyFirstContribution in more places	2020-06-08 15:12:28 -07:00
PULL_REQUEST_TEMPLATE.md	point pull requesters to GitGitGadget	2019-03-13 11:07:50 +09:00