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

Re: fixing workdirs

From
Junio C Hamano <gitster@pobox.com>
Date
Jul 8, 2010, 19:40 UTC
Message-ID
<7v7hl5pxt0.fsf@alter.siamese.dyndns.org>
In-Reply-To
<20100708110842.GC12789@madism.org>
Pierre Habouzit <madcoder@madism.org> writes:
> for the first one, the fix is simple: workdirs have now a name, and
> their HEAD reflog lives in the "master" git repository reflog namespace
> under logs/workdir/$workdir_name/HEAD. The workdir HEAD reflog is then a
> symlink to the masters.

I think this is a sane thing to do, except for the "symlink" part but that would be just a minor implementation detail.

> For the second one, when a workdir is created, a [workdir "foo"] section
> is added to the master directory, with a path configuration variable
> pointing to the ... path of the working directory.
Ok.
> ... git checkout would check that no other workdir is currently "on
> the same branch", and would refuse to checkout to a branch that is
> already checkouted elsewhere.

I am personally fine with this, but if there is no way to override this refusal it may break some people's existing workflow. I dunno.

Previous: Pierre HabouzitNext: Avery Pennarun
Message 5 of 10 in “fixing workdirs”
  1. Pierre HabouzitJul 8, 2010
  2. TaitJul 8, 2010
  3. Joshua JensenJul 8, 2010
  4. Pierre HabouzitJul 9, 2010
  5. Junio C HamanoJul 8, 2010
  6. Avery PennarunJul 8, 2010
  7. Pierre HabouzitJul 9, 2010
  8. Junio C HamanoJul 9, 2010
  9. Pierre HabouzitJul 19, 2010
  10. Jan HudecAug 17, 2010

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.