Re: [PATCH] git-push: add a --delete flag to allow branch deletion
From: Junio C Hamano <hidden>
Date: 2016-06-15 22:44:47
Pieter de Bie [off-list ref] writes:
quoted hunk
diff --git a/Documentation/git-push.txt b/Documentation/git-push.txt index 89e0049..6a772a5 100644 --- a/Documentation/git-push.txt +++ b/Documentation/git-push.txt@@ -11,6 +11,8 @@ SYNOPSIS [verse] 'git-push' [--all] [--dry-run] [--tags] [--receive-pack=<git-receive-pack>] [--repo=all] [-f | --force] [-v | --verbose] [<repository> <refspec>...] +'git push' --delete <repository> <branchname> [<branch2> ...] + DESCRIPTION -----------@@ -18,6 +20,8 @@ DESCRIPTION Updates remote refs using local refs, while sending objects necessary to complete the given refs. +In the second form, deletes one or more branches on a given repository. +
Is this really about branches? Is it usable to somehow delete tags, and if so how? What happens if you have a branch 'foo' and a tag 'foo' in the remote repository and you say "git push --delete $there foo"?
quoted hunk
@@ -125,6 +146,18 @@ int cmd_push(int argc, const char **argv, const char *prefix) argc = parse_options(argc, argv, options, push_usage, 0); + if (delete) { + if (all || mirror || tags || force || repo) + die("--delete cannot be used with --all, --mirror, --tags, --farce or --repo");
Nice try, but it is not so amusing.