git-remote-mediawiki: obey advice.pushNonFastForward

diff --git a/http-push.c b/http-push.c
index 6e8f6d09abb6397f1782fa32d9d273fc4fc740fe..376331a76fcde24e6828eba0b88fec26d93fe56f 100644 (file)
--- a/http-push.c
+++ b/http-push.c
@@ -1655,7 +1655,7 @@ static int delete_remote_branch(const char *pattern, int force)
                return error("Remote HEAD is not a symref");
 
        /* Remote branch must not be the remote HEAD */
-       for (i=0; symref && i<MAXDEPTH; i++) {
+       for (i = 0; symref && i < MAXDEPTH; i++) {
                if (!strcmp(remote_ref->name, symref))
                        return error("Remote branch %s is the current HEAD",
                                     remote_ref->name);