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

Re: [gambit-list] Separating generated files? (Re: Mercurial -> git)

From
Matthieu Moy <matthieu.moy@imag.fr>
Date
Oct 15, 2008, 15:30 UTC
Message-ID
<vpqiqrt3mgs.fsf@bauges.imag.fr>
In-Reply-To
<fcaeb9bf0810150754s613f2c44pd8341711d9d73f73@mail.gmail.com>
"Nguyen Thai Ngoc Duy" <pclouds@gmail.com> writes:
Show 6 quoted lines
> Hi Christian,
>
> The idea of using two separate repositories for source and generated
> source is interesting. I would like to bring this to git mailing list,
> they may provide insightul comments for your idea or even other
> approaches.

I think the first question is: do you (and why) need to use a version control system for generated files?

-- 
Matthieu
Previous: Nguyen Thai Ngoc DuyNext: Michael J Gruber
Message 2 of 9 in “Re: Separating generated files? (Re: Mercurial -> git)”
  1. Nguyen Thai Ngoc DuyOct 15, 2008
  2. Matthieu MoyOct 15, 2008
  3. Michael J GruberOct 15, 2008
  4. Christian JaegerOct 15, 2008
  5. Christian JaegerOct 16, 2008
  6. Santi BéjarOct 16, 2008
  7. Christian JaegerOct 16, 2008
  8. Santi BéjarOct 16, 2008
  9. Christian JaegerOct 15, 2008

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.