summaryrefslogtreecommitdiff
path: root/commit-graph.c
diff options
context:
space:
mode:
authorJohannes Schindelin <johannes.schindelin@gmx.de>2023-09-25 11:50:59 +0000
committerJunio C Hamano <gitster@pobox.com>2023-09-25 10:12:49 -0700
commit7bc49e8f553c0f76cccd142c33715ee8f1b15811 (patch)
tree9f432499bcb50a51f3fd15d6f514823dfec0fb16 /commit-graph.c
parent002e5e9ad163f30e1664a2bf37e45097c8ab6be5 (diff)
coverity: allow overriding the Coverity project
By default, the builds are submitted to the `git` project at https://scan.coverity.com/projects/git. The Git for Windows project would like to use this workflow, too, though, and needs the builds to be submitted to the `git-for-windows` Coverity project. To that end, allow configuring the Coverity project name via the repository variable, you guessed it, `COVERITY_PROJECT`. The default if that variable is not configured or has an empty value is still `git`. Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'commit-graph.c')
0 files changed, 0 insertions, 0 deletions