Accidentally pushed a branch

Accidentally pushed a branch

[Yuan Fu]

Errr I accidentally pushed to tree-sitter rather than feature/tree-sitter, how can I delete that branch? Sorry for the fuzz.

Yuan

Re: Accidentally pushed a branch

[Eli Zaretskii]

> From: Yuan Fu <casouri@gmail.com>
> Date: Sat, 18 Jun 2022 17:00:43 -0700
> 
> Errr I accidentally pushed to tree-sitter rather than feature/tree-sitter, how can I delete that branch? Sorry for the fuzz.

I used

  git push origin --delete tree-sitter

to delete that branch.

Re: Accidentally pushed a branch

[Yuan Fu]

> On Jun 18, 2022, at 11:02 PM, Eli Zaretskii <eliz@gnu.org> wrote:
> 
>> From: Yuan Fu <casouri@gmail.com>
>> Date: Sat, 18 Jun 2022 17:00:43 -0700
>> 
>> Errr I accidentally pushed to tree-sitter rather than feature/tree-sitter, how can I delete that branch? Sorry for the fuzz.
> 
> I used
> 
>  git push origin --delete tree-sitter
> 
> to delete that branch.

Thanks :-)

Yuan

Re: Accidentally pushed a branch

[Phil Sainty]

On 2022-06-19 12:00, Yuan Fu wrote:
> Errr I accidentally pushed to tree-sitter rather than
> feature/tree-sitter, how can I delete that branch?

Eli has answered, but as a FYI:

There's a somewhat obtuse git syntax for deleting things, which
is to say "push 'nothing' to <branch>" via the more-verbose push
syntax "git push <remote> <from>:<to>"

Hence "git push origin :tree-sitter" would delete the tree-sitter
branch on the origin remote, because the <from> value is empty.

This may help to make sense of the explanation of the --delete
option in the git-push man page.

Re: Accidentally pushed a branch

[Yuan Fu]

> On Jun 18, 2022, at 11:16 PM, Phil Sainty <psainty@orcon.net.nz> wrote:
> 
> On 2022-06-19 12:00, Yuan Fu wrote:
>> Errr I accidentally pushed to tree-sitter rather than
>> feature/tree-sitter, how can I delete that branch?
> 
> Eli has answered, but as a FYI:
> 
> There's a somewhat obtuse git syntax for deleting things, which
> is to say "push 'nothing' to <branch>" via the more-verbose push
> syntax "git push <remote> <from>:<to>"
> 
> Hence "git push origin :tree-sitter" would delete the tree-sitter
> branch on the origin remote, because the <from> value is empty.
> 
> This may help to make sense of the explanation of the --delete
> option in the git-push man page.

Thanks, TIL :-)

Yuan