diff options
| author | Karel Kočí <cynerd@email.cz> | 2018-12-27 15:10:14 +0100 |
|---|---|---|
| committer | Karel Kočí <cynerd@email.cz> | 2018-12-27 15:10:14 +0100 |
| commit | f4c569bb0c7c65e5e2f26e11214cc194590049b0 (patch) | |
| tree | b05da5a1552c45aa62df3d5c6aef98ff9b7a041a /jobs | |
| parent | b4ca089ce19b82623cddbb367df1e42c7993f774 (diff) | |
| download | laminar-cnf-f4c569bb0c7c65e5e2f26e11214cc194590049b0.tar.gz laminar-cnf-f4c569bb0c7c65e5e2f26e11214cc194590049b0.tar.bz2 laminar-cnf-f4c569bb0c7c65e5e2f26e11214cc194590049b0.zip | |
utils: fix problem with old missing worktrees
New version of git fails if there is some work tree that is no longer
accessible. I have no idea if this is a bug or not (I expect it to be)
but true is that until now all previously used work trees were preserved
which means that we have a lot of old work trees in bare repository.
This changes that and should ensure that work tree is created even if
some other work tree is missing.
Diffstat (limited to 'jobs')
0 files changed, 0 insertions, 0 deletions