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