git.vger.kernel.org archive mirror
 help / color / mirror / Atom feed
* What does `git push origin --delete ""` do?
@ 2021-02-23 21:50 Tilman Vogel
  2021-02-23 22:46 ` Junio C Hamano
  0 siblings, 1 reply; 2+ messages in thread
From: Tilman Vogel @ 2021-02-23 21:50 UTC (permalink / raw)
  To: git

Hi!

Because of an empty line in the input file, my script

cat remove.txt | sed 's/origin\///' | xargs -d '\n' git push origin --delete

executed (among other deletions) an implicit `git push origin --delete
""`. I wonder, what that one is supposed to do. I think, it should
produce an error just as `git push origin --delete` without a further
argument does but it doesn't. It seemed like instead, it tried to push
all my local branches to origin!? Is this something that should get
fixed?

Best regards,

Tilman

^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~2021-02-23 22:51 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2021-02-23 21:50 What does `git push origin --delete ""` do? Tilman Vogel
2021-02-23 22:46 ` Junio C Hamano

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 NNTP newsgroup(s).