Merge branch 'jn/maint-do-not-match-with-unsanitized-searchtext'

diff --git a/builtin/push.c b/builtin/push.c
index 6c373cf28bfc9d8409014d84eef5b886218b25ab..d315475f16c96a831a11c2aebf00ada40b7c9663 100644 (file)
--- a/builtin/push.c
+++ b/builtin/push.c
@@ -261,6 +261,8 @@ int cmd_push(int argc, const char **argv, const char *prefix)
                OPT_BIT('u', "set-upstream", &flags, "set upstream for git pull/status",
                        TRANSPORT_PUSH_SET_UPSTREAM),
                OPT_BOOL(0, "progress", &progress, "force progress reporting"),
+               OPT_BIT(0, "prune", &flags, "prune locally removed refs",
+                       TRANSPORT_PUSH_PRUNE),
                OPT_END()
        };