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

Re: git push --delete <url> <branch> fails if run outside a repository

From
Junio C Hamano <gitster@pobox.com>
Date
Jun 6, 2022, 17:29 UTC
Message-ID
<xmqqpmjl8zu9.fsf@gitster.g>
In-Reply-To
<20220606080528.rfugporpazoujceq@lucy.dinwoodie.org>
Adam Dinwoodie <adam@dinwoodie.org> writes:
Show 7 quoted lines
> When using `git push`, rather than specifying a remote by name, one can
> also specify a remote by URL, and this includes when the only operations
> being performed are to delete refs on the remote.  This doesn't require
> any information about any local repository, but it fails unless the
> command is run from within an existing local Git repo.
>
> This seems like a bug to me: there's no reason this shouldn't work.
Perhaps.

While I fully agree with you that there is no reason this shouldn't work, I am not sure if there is a good reason to make it work, either. Any other push needs to have objects on _our_ side and requiring you to be in a repository is a sure way to do so. I am not convinced that it is worth our engineering effort to add a special case for this, but patches that are cleanly done without making too much damage to the existing code in readability and maintainability are probably welcome.

Thanks.
Previous: Adam Dinwoodie
Message 2 of 2 in “git push --delete <url> <branch> fails if run outside a repository”
  1. Adam DinwoodieJun 6, 2022
  2. Junio C HamanoJun 6, 2022

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.