Re: [PATCH] git-push: add a --delete flag to allow branch deletion

[Junio C Hamano <gitster@pobox.com>]

Pieter de Bie <pdebie@ai.rug.nl> writes:

> 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"?

> @@ -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.