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

Re: make GIT_VERSION=foo broken, was Re: [PATCH v2] doc: remove extra quotes in generated docs

From
Patrick Steinhardt <ps@pks.im>
Date
Dec 18, 2024, 13:19 UTC
Message-ID
<Z2LL9F8WANokZJ7R@pks.im>
In-Reply-To
<20241218113324.GA594795@coredump.intra.peff.net>
On Wed, Dec 18, 2024 at 06:33:24AM -0500, Jeff King wrote:
> Perhaps the script should be doing the same for GIT_VERSION itself,
> along with GIT_DATE?

I won't be able to have a look today or tomorrow, but will have a look on Friday and send a patch, unless somebody else beats me to it.

Thanks for the report!
Patrick
Previous: Jeff KingNext: Jeff King
Message 7 of 8 in “doc: remove extra quotes in generated docs”
  1. doc: remove extra quotes in generated docsKyle Lippincott via GitGitGadget, Dec 17, 2024
  2. Junio C HamanoDec 18, 2024
  3. doc: remove extra quotes in generated docsKyle Lippincott via GitGitGadget, Dec 18, 2024
  4. Junio C HamanoDec 18, 2024
  5. Junio C HamanoDec 18, 2024
  6. make GIT_VERSION=foo broken, was Re: [PATCH v2] doc: remove extra quotes in generated docsJeff King, Dec 18, 2024
  7. Patrick SteinhardtDec 18, 2024
  8. Jeff KingDec 18, 2024

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.