mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-12-22 17:34:54 +01:00
nmbug: mark repository as bare on clone
If a git repository is non-bare, and core.worktree is not set, git tries to deduce the worktree. This deduction is not always helpful, e.g. % git --git-dir=$HOME/.nmbug clean -f would likely delete most of the files in the current directory
This commit is contained in:
parent
a63ca54b1f
commit
dd24fdd33a
1 changed files with 1 additions and 0 deletions
|
@ -134,6 +134,7 @@ sub do_clone {
|
||||||
$repository, $tempwork) == 0
|
$repository, $tempwork) == 0
|
||||||
or die "'git clone' exited with nonzero value\n";
|
or die "'git clone' exited with nonzero value\n";
|
||||||
git ('config', '--unset', 'core.worktree');
|
git ('config', '--unset', 'core.worktree');
|
||||||
|
git ('config', 'core.bare', 'true');
|
||||||
}
|
}
|
||||||
|
|
||||||
sub is_committed {
|
sub is_committed {
|
||||||
|
|
Loading…
Reference in a new issue