Skip to content

ci: make git diff quiet#104

Closed
ovsds wants to merge 1 commit intomainfrom ovsds/make_git_diff_silent

Commits

Commits on Dec 20, 2023