Commit 718ae527 authored by Michael Koch's avatar Michael Koch
Browse files

Use git, not git-core.

parent 1cd2ad50
Pipeline #7978 canceled with stage