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