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

Re: Best way to update `HEAD` in mirrored repos

From
Johannes Schindelin <johannes.schindelin@gmx.de>
Date
Jun 9, 2022, 08:02 UTC
Message-ID
<nycvar.QRO.7.76.6.2206091000590.349@tvgsbejvaqbjf.bet>
In-Reply-To
<CANWRddN4R6AceeaOyZm1vs8AXBNv3J+cE5MOyrhKVhcqddjUOA@mail.gmail.com>
Hi Rodrigo,
On Wed, 8 Jun 2022, Rodrigo Silva Mendoza wrote:
> `git remote set-head origin -a`
>    Fails with "error: Not a valid ref:
> refs/remotes/origin/good_main_3". The ref it fails with is whatever
> the remote HEAD is.

The reason is that `set-head` expects options to come before arguments, like so:

	git remote set-head -a origin

Ciao, Johannes

Previous: Rodrigo Silva MendozaNext: Rodrigo Silva Mendoza
Message 4 of 9 in “Best way to update `HEAD` in mirrored repos”
  1. Rodrigo Silva MendozaJun 8, 2022
  2. Junio C HamanoJun 8, 2022
  3. Rodrigo Silva MendozaJun 9, 2022
  4. Johannes SchindelinJun 9, 2022
  5. Rodrigo Silva MendozaJun 9, 2022
  6. Johannes SchindelinJun 10, 2022
  7. Junio C HamanoJun 10, 2022
  8. Rodrigo Silva MendozaJun 15, 2022
  9. Rodrigo Silva MendozaJun 15, 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.