Skip to content
Coverity

branch: advice using git-help(1) instead of man(1) #6303

Sign in to view logs

branch: advice using git-help(1) instead of man(1)

branch: advice using git-help(1) instead of man(1) #6303

Triggered via push December 5, 2025 22:40
@gitgitgadgetgitgitgadget[bot]
pushed b14f1df
kh/advise-w-git-help-in-branch
Status Skipped
Total duration 1s
Artifacts –

coverity.yml

on: push
Matrix: coverity
Fit to window
Zoom out
Zoom in