Merge branch 'maint'

diff --git a/builtin/push.c b/builtin/push.c
index 3963fbb01466d44e5e9a99e34622fc1a01987dfe..42b129d36cf615ed264be0f1bff523a7fc327b12 100644 (file)
--- a/builtin/push.c
+++ b/builtin/push.c
@@ -436,6 +436,7 @@ int cmd_push(int argc, const char **argv, const char *prefix)
                OPT_BOOL(0, "progress", &progress, N_("force progress reporting")),
                OPT_BIT(0, "prune", &flags, N_("prune locally removed refs"),
                        TRANSPORT_PUSH_PRUNE),
+               OPT_BIT(0, "no-verify", &flags, N_("bypass pre-push hook"), TRANSPORT_PUSH_NO_HOOK),
                OPT_END()
        };