Merge branch 'jc/custom-comment-char'

diff --git a/builtin/push.c b/builtin/push.c
index 8491e431e41aaff32c76ab0c61f528682b3babdb..b158028be81e38c37ec8dd69506cdc662ff1379b 100644 (file)
--- a/builtin/push.c
+++ b/builtin/push.c
@@ -407,6 +407,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()
        };