"W. Trevor King" writes:
> Still, these are just quibbles with the commit message. I'm +1 on the
> code change. My initial bare-resistance [2] was because I didn't
> realize that an explicit GIT_WORK_TREE would override the core.bare
> setting.
OK, pushed with an amended commit message/
d
On Sat, Apr 12, 2014 at 01:30:32PM -0300, David Bremner wrote:
> As far as I can figure out, if a git repository is non-bare, then it
> should either have core.worktree set, or the parent directory should
> be the worktree.
If this works in your testing, then +1 from me ;). However, the
default
On Sat, Apr 12, 2014 at 01:30:32PM -0300, David Bremner wrote:
As far as I can figure out, if a git repository is non-bare, then it
should either have core.worktree set, or the parent directory should
be the worktree.
If this works in your testing, then +1 from me ;). However, the
default is
On Sat, Apr 12 2014, David Bremner wrote:
> As far as I can figure out, if a git repository is non-bare, then it
> should either have core.worktree set, or the parent directory should
> be the worktree. Since the parent directory is usually the user's home
> directory, we don't want that.
Tomi Ollila writes:
>
> Based on that info change looks reasonable. I edited my ~/.nmbug/config
> and changed bare = false -> bare = true and nothing borke so far.
>
> so +1 from me.
>
> Tomi
I forgot to mention that I ran that way for a week or so without
problems.
d
As far as I can figure out, if a git repository is non-bare, then it
should either have core.worktree set, or the parent directory should
be the worktree. Since the parent directory is usually the user's home
directory, we don't want that. Although unlikely to be typed by
mistake
% cd $HOME && ln
As far as I can figure out, if a git repository is non-bare, then it
should either have core.worktree set, or the parent directory should
be the worktree. Since the parent directory is usually the user's home
directory, we don't want that. Although unlikely to be typed by
mistake
% cd $HOME ln
On Sat, Apr 12 2014, David Bremner da...@tethera.net wrote:
As far as I can figure out, if a git repository is non-bare, then it
should either have core.worktree set, or the parent directory should
be the worktree. Since the parent directory is usually the user's home
directory, we don't want
Tomi Ollila tomi.oll...@iki.fi writes:
Based on that info change looks reasonable. I edited my ~/.nmbug/config
and changed bare = false - bare = true and nothing borke so far.
so +1 from me.
Tomi
I forgot to mention that I ran that way for a week or so without
problems.
d