Re: [PATCH] git-push: add a --delete flag to allow branch deletion
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Jun 20, 2008, 00:51 UTC
- Message-ID
- <7vej6tq67y.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <1213884787-24692-1-git-send-email-pdebie@ai.rug.nl>
Pieter de Bie <pdebie@ai.rug.nl> writes:
Show 19 quoted lines
> 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"?
Show 7 quoted lines
> @@ -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.