git: use --force-with-lease to avoid the bug described in #435

Closes: #435 (closed)

Merge request reports

Loading