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

git-fetch --update-head-ok ?

From
Martin Waitz <tali@admingilde.org>
Date
Oct 3, 2006, 12:34 UTC
Message-ID
<20061003123452.GK2871@admingilde.org>
hoi :)

I have no idea why there is a --update-head-ok, but the code looks like it has a typo:

diff --git a/git-fetch.sh b/git-fetch.sh
index 09a5d6c..5843639 100755
--- a/git-fetch.sh
+++ b/git-fetch.sh
@@ -433,7 +433,7 @@ esac
 # If the original head was empty (i.e. no "master" yet), or
 # if we were told not to worry, we do not have to check.
 case ",$update_head_ok,$orig_head," in
-*,, | t,* )
+*,, | ,t,* )
        ;;
 *)
        curr_head=$(git-rev-parse --verify HEAD 2>/dev/null)
-- 
Martin Waitz
Next: Junio C Hamano
Message 1 of 2 in “git-fetch --update-head-ok ?”
  1. Martin WaitzOct 3, 2006
  2. Junio C HamanoOct 11, 2006

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.