unofficial mirror of emacs-devel@gnu.org 
 help / color / mirror / code / Atom feed
* Accidentally pushed a branch
@ 2022-06-19  0:00 Yuan Fu
  2022-06-19  6:02 ` Eli Zaretskii
  2022-06-19  6:16 ` Phil Sainty
  0 siblings, 2 replies; 5+ messages in thread
From: Yuan Fu @ 2022-06-19  0:00 UTC (permalink / raw)
  To: Emacs Devel

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

Yuan


^ permalink raw reply	[flat|nested] 5+ messages in thread
* Re: Accidentally pushed a branch
  2022-06-19  0:00 Accidentally pushed a branch Yuan Fu
@ 2022-06-19  6:02 ` Eli Zaretskii
  2022-06-20  2:34   ` Yuan Fu
  2022-06-19  6:16 ` Phil Sainty
  1 sibling, 1 reply; 5+ messages in thread
From: Eli Zaretskii @ 2022-06-19  6:02 UTC (permalink / raw)
  To: Yuan Fu; +Cc: emacs-devel

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



^ permalink raw reply	[flat|nested] 5+ messages in thread
* Re: Accidentally pushed a branch
  2022-06-19  0:00 Accidentally pushed a branch Yuan Fu
  2022-06-19  6:02 ` Eli Zaretskii
@ 2022-06-19  6:16 ` Phil Sainty
  2022-06-20  2:35   ` Yuan Fu
  1 sibling, 1 reply; 5+ messages in thread
From: Phil Sainty @ 2022-06-19  6:16 UTC (permalink / raw)
  To: Yuan Fu; +Cc: Emacs Devel

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.





^ permalink raw reply	[flat|nested] 5+ messages in thread
* Re: Accidentally pushed a branch
  2022-06-19  6:02 ` Eli Zaretskii
@ 2022-06-20  2:34   ` Yuan Fu
  0 siblings, 0 replies; 5+ messages in thread
From: Yuan Fu @ 2022-06-20  2:34 UTC (permalink / raw)
  To: Eli Zaretskii; +Cc: emacs-devel



> 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


^ permalink raw reply	[flat|nested] 5+ messages in thread
* Re: Accidentally pushed a branch
  2022-06-19  6:16 ` Phil Sainty
@ 2022-06-20  2:35   ` Yuan Fu
  0 siblings, 0 replies; 5+ messages in thread
From: Yuan Fu @ 2022-06-20  2:35 UTC (permalink / raw)
  To: Phil Sainty; +Cc: Emacs Devel



> 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



^ permalink raw reply	[flat|nested] 5+ messages in thread
end of thread, other threads:[~2022-06-20  2:35 UTC | newest]

Thread overview: 5+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2022-06-19  0:00 Accidentally pushed a branch Yuan Fu
2022-06-19  6:02 ` Eli Zaretskii
2022-06-20  2:34   ` Yuan Fu
2022-06-19  6:16 ` Phil Sainty
2022-06-20  2:35   ` Yuan Fu

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/emacs.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).