git/list[1] front-page[2] threads[3] people[4] search[5] about
 

What does `git push origin --delete ""` do?

From
Tilman Vogel <tilman.vogel@web.de>
Date
Feb 23, 2021, 21:50 UTC
Message-ID
<CAAbQbbCAqbJhU05WSWD6HmHpAxLqs0LbFzQmKHNaDUg2kHkZBQ@mail.gmail.com>
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
Next: Junio C Hamano
Message 1 of 2 in “What does `git push origin --delete ""` do?”
  1. Tilman VogelFeb 23, 2021
  2. Junio C HamanoFeb 23, 2021

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.