If $GIT_DIR is read only, we can't write $GIT_DIR/sharedindex. This
could happen when $GIT_INDEX_FILE is set to somehwere outside
$GIT_DIR.
Signed-off-by: Nguyễn Thái Ngọc Duy
---
read-cache.c | 13 ++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/read-cache.c b/read-
If $GIT_DIR is read only, we can't write $GIT_DIR/sharedindex. This
could happen when $GIT_INDEX_FILE is set to somehwere outside
$GIT_DIR.
Signed-off-by: Nguyễn Thái Ngọc Duy
---
read-cache.c | 13 ++---
1 file changed, 10 insertions(+), 3 deletions(-)
diff --git a/read-cache.c b/read-
2 matches
Mail list logo