Merge branch 'mm/levenstein-penalize-deletion-less'

diff --git a/remote-curl.c b/remote-curl.c
index 08962214db6f715c0416c61ce0ab70b50b7888fc..04a9d6277db8fac78cb223a906b12744aab32193 100644 (file)
--- a/remote-curl.c
+++ b/remote-curl.c
@@ -782,6 +782,7 @@ static int push_git(struct discovery *heads, int nr_spec, char **specs)
                argv[argc++] = "--quiet";
        else if (options.verbosity > 1)
                argv[argc++] = "--verbose";
+       argv[argc++] = options.progress ? "--progress" : "--no-progress";
        argv[argc++] = url;
        for (i = 0; i < nr_spec; i++)
                argv[argc++] = specs[i];