Pieter de Bie <pdebie@xxxxxxxxx> 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.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
