From db9173d68a8eb9ce2b4b2d5748994c24677ed972 Mon Sep 17 00:00:00 2001
From: Mengwei Ding <mengwei.ding@gmail.com>
Date: Tue, 26 Feb 2019 15:25:40 +0800
Subject: [PATCH] [Code] force delete repository

---
 x-pack/plugins/code/server/repository_service.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/x-pack/plugins/code/server/repository_service.ts b/x-pack/plugins/code/server/repository_service.ts
index ccf4d4f21dc2a..a1396c670d01a 100644
--- a/x-pack/plugins/code/server/repository_service.ts
+++ b/x-pack/plugins/code/server/repository_service.ts
@@ -122,7 +122,7 @@ export class RepositoryService {
     const localPath = RepositoryUtils.repositoryLocalPath(this.repoVolPath, uri);
     try {
       // For now, just `rm -rf`
-      await del([localPath]);
+      await del([localPath], { force: true });
       this.log.info(`Remove local repository ${uri} done.`);
       return {
         uri,