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

From: Tilman Vogel <hidden>
Date: 2021-02-23 21:51:24

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
Keyboard shortcuts
hback out one level
jnext message in thread
kprevious message in thread
ldrill in
Escclose help / fold thread tree
?toggle this help